多线程程序的信息抹除和降密安全策略

摘要：

为了满足多线程环境下实际应用程序故意释放敏感信息以及加强信息机密性的需求,基于强互模拟等价的方式定义能够同时处理信息降密和抹除的安全属性.该属性能控制被释放的机密信息的内容,使得降密机制不会被攻击者破坏而获得额外的机密信息,并且保证低安全级信息被抹除后无法再被攻击者滥用;使用交叉拷贝技术构造实施该安全属性的安全转换类型系统,可消除由于线程之间互相竞争执行而引起的内部时间隐蔽通道.通过转换类型系统可将一个给定程序转换成具有相同结构以及时间行为的安全程序,消除其中的信息泄露.根据操作语义证明了该类型系统的类型可靠性,表明遵循类型规则转换后的程序可满足系统的安全属性.

关键词：多线程语言、类型系统、安全模型

所属期刊栏目：44

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

资助基金：国家”863”高技术研究发展计划资助项目2006AA01Z431;国家”十一五”科技支撑计划资助项目2008BAH21B03;浙江省科技计划资助项目2007L11068

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

页码：854-862