江苏省自然科学基金(BK20130812)
- 作品数：5 被引量：5H指数：2
- 相关作者：康达周沈国华廖莉莉黄志球阚双龙更多>>
- 相关机构：南京航空航天大学武汉大学更多>>
- 发文基金：江苏省自然科学基金中央高校基本科研业务费专项资金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 云计算环境中支持语义的安全策略匹配研究被引量：2
- 2015年
- 云计算环境中,一致的安全策略是用户和服务能够成功交互的基础.如何有效地实现安全策略的匹配已经成为保证云计算环境安全的重要关注点之一.因此,提出一种云计算环境中支持语义的服务安全策略匹配方法,将策略匹配的问题转换成语义概念的包含推理问题.该方法首先构建了表示云计算环境下安全知识的云安全本体;其次,利用描述逻辑推理本体元素相互间的语义关系,在此基础上,给出了安全策略匹配结果的判定方法;最后通过实例分析,说明了方法的可行性和实用性.该方法克服了句法级匹配存在的不足,为云计算环境中服务双方安全策略的表示和匹配提供了一种有效的解决方案.
- 朱羿全沈国华黄志球康达周阚双龙
- 关键词：云计算语义匹配描述逻辑
- 基于本体的概念体系结构导出的一致性验证
- 2017年
- 软件产品线工程方法中利用需求特征模型自动导出概念体系结构,然而手工检测概念体系结构对需求的表达是否一致是降低导出效率的主要因素。鉴于此,本文提出一种基于本体的概念体系结构导出的一致性验证方法,首先建立概念体系结构元模型,然后在此基础上构建概念体系结构本体并提出相应的推理规则;在产品特征模型到概念体系结构映射过程中,使用该本体对映射后的概念体系结构进行本体描述;利用SWRL规则描述语言将自然语言描述的推理规则转换成本体推理机能够识别的数据格式;将本体模型和规则文件作为推理机的输入进行推理,通过检验模型满足规则的程度完成模型的一致性验证。通过一个VOIP系统案例对上述步骤进行详细描述,以此验证该方法的可行性,并且在理论上与其他常见的一致性验证方法进行对比来评估其优缺点。
- 江东宇康达周王顺
- 关键词：本体
- 语义网本体在离散数学课程教学中的应用
- 2014年
- 语义网本体广泛应用于知识工程、人工智能以及计算机科学领域,在教育、科研等方面也有重要作用。针对当前离散数学课程教学中存在的内容广、概念多、高度抽象和理论化等困难,利用本体作为辅助离散数学课程教学的重要工具,辅助学生理解、应用和实践离散数学知识,提出本体在教学过程中不同方面所起的作用以及教学思路与方法,得到了很好的教学效果和学生反馈。
- 康达周
- 关键词：本体离散数学教学
- 基于时序描述逻辑的故障树分析方法研究被引量：1
- 2017年
- 故障树分析法是工业界常用的安全分析方法之一。然而由于其非形式化方法的局限性,难以对软件故障进行形式化验证,更难以描述嵌入式实时系统中事件之间的时序逻辑关系。因此,提出了一种基于时序描述逻辑的故障树分析方法,以解决故障树难以对时序关系进行描述以及难以形式化验证的问题。首先,通过时序描述逻辑对故障树进行时序特征的扩充与规约;其次抽取出用描述逻辑表示的软件安全属性;最后对软件系统进行安全属性建模并通过模型检测工具SPIN形式化验证软件系统是否满足这些属性。以某一机载控制系统环境输入模块为案例,对该案例进行故障树分析和建模并给出该案例的待验证安全属性以及实验分析结果。结果表明,提出的方法是有效的和可行的。
- 司佳朱羿全马琳
- 关键词：故障树分析形式化验证
- 结合本体和规则推理的SFMEA方法研究被引量：2
- 2015年
- 安全关键软件一旦失效将造成严重后果。软件失效模式和影响分析(Software Failure Modes and Effect Analysis,SFMEA)是一种工业界常用的软件安全性分析方法。由于SFMEA依赖人工分析,存在信息共享性差、分析准确性低等问题。针对上述问题,提出一种结合本体和规则推理的SFMEA方法。首先,构建了支持失效知识表示的SFMEA本体,实现软件失效知识的精确语义描述。在此基础上,以规则描述语言SWRL来定义失效规则,通过分析失效原因,实现对失效造成影响的自动化推理。最后,结合一个发动机熄火判断模块的案例分析,说明该方法的可行性和实用性。
- 朱羿全沈国华康达周廖莉莉
- 关键词：安全关键软件本体论
