基于安全进程代数的非演绎安全模型的分析与验证

摘要：

就刻画安全的性质而言,基于非演绎信息流的安全模型较基于访问控制的安全模型更为确切和本质.在基于迹语义对非演绎信息流安全模型进行分析的基础上,基于安全进程代数给出非演绎模型的形式化描述,然后基于系统的安全进程代数表达式给出非演绎模型的验证算法且开发了相应的验证工具,最后通过实例说明该算法的正确性和验证工具的方便适用性.

关键词：迹语义、安全进程代数、信息流安全模型、非演绎模型

所属期刊栏目：39

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金61173048,60773094,60473055;上海市曙光计划07SG32;安徽省高校省级自然科学研究基金项目KJ2011Z279;安徽省滁州市滁州学院重点自然科学基金项目2010kj008Z

在线出版日期：2012-04-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：56-58