黄达明
- 作品数：20 被引量：58H指数：5
- 供职机构：南京大学计算机科学与技术系更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术文化科学化学工程更多>>
- 计算机网络实验编程平台设计与实践
- 2024年
- 针对计算机网络课程实验教学中面临的实验环境搭建难度大、编程内容较少等问题,提出一种网络实验平台设计思路,介绍平台设计和实验实施过程,最后说明教学效果。
- 丁子枫牛治雄黄达明田野
- 关键词：计算机网络实验在线教学教学改革网络实验平台
- 含有析取语义循环的不变式生成改进方法被引量：3
- 2016年
- 抽象解释为程序不变式的自动化生成提供了通用的框架,但是该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集.因此,对于包含(所对应的约束集是非凸的)析取语义的特殊程序结构,采用传统数值抽象域会导致分析结果不精确.针对显式和隐式含有析取语义的循环结构,提出了基于循环分解和归纳推理的不变式生成改进方法,缓解了抽象解释分析中出现的语义损失问题.实验结果表明:相比已有方法,该方法能为这种包含析取语义的循环结构生成更加精确的不变式,并且有益于一些安全性质的推理.
- 潘建东陈立前黄达明孙浩曾庆凯
- 基于语义抽象的内存访问错误检测
- 内存访问错误是程序中最严重的缺陷之一。本文提出一种基于语义抽象的内存访问错误检测方法，通过对程序具体语义的完备近似抽象，对相关约束变量操作的精确检验，以及控制流图遍历中的函数信息收集，能够在过程间完备地静态检测C程序源代...
- 蒋剑琴黄达明曾庆凯
- 关键词：程序静态分析
- 文献传递
- 基于安全属性分解的构件安全性量化和计算
- 提出了一种软件构件安全性量化和计算方法。在体现选择构件的安全属性分解模型上,对不同构件的相同叶结点属性进行比较、获取量化值,然后通过层次分析法计算、得到各构件的安全值.构件安全值计算过程更具客观性,有利于提高构件选择的精...
- 周国强黄达明曾庆凯
- 关键词：安全性计算方法
- 文献传递
- 基于安全属性分解的构件安全性量化和计算被引量：3
- 2008年
- 提出了一种软件构件安全性量化和计算方法.在体现选择构件的安全属性分解模型上,对不同构件的相同叶结点属性进行比较、获取量化值,然后通过层次分析法计算、得到各构件的安全值.构件安全值计算过程更具客观性,有利于提高构件选择的精确性.
- 周国强黄达明曾庆凯
- 基于逻辑关系和约束的保护轮廓生成模型研究被引量：2
- 2008年
- 提出一个基于逻辑关系和约束的保护轮廓生成模型。通过分析保护轮廓的组成结构、生成原理,总结了保护轮廓的内在逻辑关系和约束条件,给出了保护轮廓生成过程和相关自动化处理算法。最后,讨论了生成模型在安全保护等级划分准则要求下的应用。
- 黄达明时静艳曾庆凯
- 关键词：逻辑关系
- 数据科学基础课程体系建设与研究——以南京大学为例被引量：5
- 2020年
- 对学生数据科学素养的培养应该和对学生计算思维的培养一样,成为高校必须承担的任务,但仅靠一门数据科学基础课程很难满足不同专业的需求,笔者探索建设了一个高低搭配的数据科学基础课程体系,探讨了面向不同需求的数据科学基础课程结构和教学内容的设置。
- 黄达明张萍张莉
- 关键词：课程体系数据处理数据可视化数据分析计算思维
- 以太坊智能合约定理证明中的形式化规约研究综述
- 2022年
- 以太坊智能合约的形式化验证是目前的研究热点,在各种形式化验证方法中,定理证明方法具有误报少、可以处理大状态空间等优点。定理证明需要强大的形式化规约表达能力作为基础。文章对现有以太坊智能合约的定理证明研究中使用的形式化规约表达方法进行综述,从智能合约开发语言和区块链内生语义的建模、智能合约安全属性和功能属性的形式化规约表达、自动定理证明和交互式定理证明的选择等角度对形式化规约方法进行比较和讨论,并指出目前的困难和未来的研究方向。
- 华景煜黄达明
- 关键词：形式化规约形式化验证定理证明
- 基于分离逻辑的程序验证技术被引量：7
- 2009年
- 介绍了分离逻辑的验证原理和特点及其在程序验证方面的应用实例,分析了为支持程序验证的若干分离逻辑研究进展,包括分离逻辑的自身属性、与其他逻辑的关系、对程序语言和设计模式的支持以及定理证明器等内容.指出了分离逻辑进一步深入应用所面临的问题和解决方向.
- 黄达明曾庆凯
- 关键词：定理证明
- 本科信息安全教学研究最新进展综述被引量：6
- 2020年
- 随着云计算、移动应用、物联网等技术的不断发展,信息技术已经成为日常生活的一部分.不断浮现的各种安全问题导致整个社会对信息安全专业人才的需求不断增长,而信息安全教育是解决问题的关键.本文从面临的困难、要解决的问题、课程体系建设、教学方法研究、课程实验构建等几个方面系统地介绍了本科信息安全教学的最新研究成果,并指出了信息安全教学研究的未来发展方向.
- 黄达明仲盛
- 关键词：课程体系课程建设
