基于安全模式的软件安全本体模型及推理

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:zhangnnnnnn
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为解决软件系统中安全需求、应用环境和系统实现三者之间的语义鸿沟,指导用户在特定的应用环境下找到正确的安全解决方案,提出一种软件架构及设计阶段的安全解决方案,即软件安全模式的安全本体。对安全需求、安全模式以及应用环境进行语义建模,在此基础上定义推理规则,利用Jena推理机实现一个安全模式的查询系统。通过实例验证了该系统的有效性,为缺乏安全知识的软件开发人员提供了基于语义的安全知识的便捷查询服务。
其他文献
首先对生物质燃烧过程中钾/氯/硫元素的迁移规律进行了实验研究,然后探索了纯氯化钾蒸气及生物质挥发相在不同壁温表面的结晶行为.结果表明,生物质燃烧过程中钾元素的释放量
社会管理创新是每个国家和地区都面临的问题,因为任何社会都处在不断的发展变化之中。对处在社会转型期的我国而言,这一命题更具现实意义。法律是一切组织和个人的基本行为准则
作为林业工作者,要重视对林业栽培技术的探究和林木病虫害的防治工作,对两者的管理措施进行了简要阐述,供参考。
将"类型丛"的学理性解析聚焦于中国巧女故事,不仅能够缓解其文本储量与研究成果之间的严重失衡,而且也更迭了以往研究对这一故事集群属性界定的简化和一贯秉持的平面分析方法
采用相关概率法对月径流与前期气象因子进行相关分析,建立月径流的前期气象因子集,应用BP网络建立基于气象分析的二滩电站月径流预报模型。电站枯水期和丰水期月径流的拟合和
基于当前传统村落数量急剧萎缩、村落空间特色在快速城镇化浪潮中迅速消逝,而传统城乡规划设计手段又缺乏对乡村空间特色的识别与分析的能力等问题,引入了传统村落空间形态的
2型糖尿病的自然病程反映了在控制血糖的稳态中起重要作用的胰岛素敏感性和胰岛β-细胞分泌胰岛素的功能之间的关系.当两者之间能够达到平衡时,血糖可保持正常;而一旦两者之
【正】 董玉整、董莉俩同志在调查研究的基础上,深入分析研究当代青年的思想观念,写成《当代青年十大观念》一书,这是一项十分有意义的工作。 青年是人生道路上极其重要的阶
目的采用HPLC法同时测定栀子类药材中绿原酸、栀子苷、西红花苷Ⅰ和西红花苷Ⅱ的含量。方法采用Waters C_(18)色谱柱(250 mm×4.6 mm,5μm),以甲醇-0.2%磷酸溶液为流动相,梯
新闻报道中的名誉权侵权责任认定应遵循一般侵权责任构成要件。新闻报道侵害名誉权主要表现为基本内容严重失实、基本内容失实和内容属实但评论不当。与之对应的是,媒体可主张