基于类型系统的完整性信息流控制

摘要：

构造了一种实现完整性信息流控制的安全类型系统. 首先,为π-演算建立具有完整性安全等级的安全类型. 然后,建立该安全类型的子类规则和类型规则,这些规则实现了系统的完整性策略及对系统行为的限制. 最后,证明该类型系统的类型合理性,表明满足初始安全策略的系统经过不断的演进、交互,系统的安全属性依然可被满足. 所建立的完整性信息流控制机制可通过静态类型检验高效实现.

关键词：完整性、类型系统、安全模型

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

资助基金：中国博士后科学基金

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

页数：共6页

页码：42-47