安徽省高校省级自然科学研究项目(KJ2011Z279)
- 作品数：3 被引量：1H指数：1
- 相关作者：王精明虞慧群江怡顺更多>>
- 相关机构：滁州学院华东理工大学更多>>
- 发文基金：安徽省高校省级自然科学研究项目上海市教育发展基金会“曙光计划”项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Petri网的非演绎安全模型的分析与验证
- 2012年
- 就刻画安全的本质而言,基于非演绎信息流安全模型较之与基于访问控制的安全模型更为确切。文章在基于迹语义对非演绎信息流安全模型进行分析的基础上,给出了基于扩展Petri网的非演绎模型的形式化描述,进一步基于Petri网的形式化描述给出非演绎模型的验证算法且开发相应的验证工具,最后通过实例说明该算法的正确性和验证工具的方便适用性。
- 王精明江怡顺
- 关键词：PETRI网
- 基于安全进程代数的非演绎安全模型的分析与验证被引量：1
- 2012年
- 就刻画安全的性质而言,基于非演绎信息流的安全模型较基于访问控制的安全模型更为确切和本质。在基于迹语义对非演绎信息流安全模型进行分析的基础上,基于安全进程代数给出非演绎模型的形式化描述,然后基于系统的安全进程代数表达式给出非演绎模型的验证算法且开发了相应的验证工具,最后通过实例说明该算法的正确性和验证工具的方便适用性。
- 王精明虞慧群
- 基于安全进程代数的信息流安全模型的分析与验证
- 2012年
- 基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出验证算法,并开发出验证工具,最后通过实例说明了该验证工具的使用。
- 王精明虞慧群
