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

• 作者: 姜励 平玲娣 陈健 陈小平
• 来源期刊: 浙江大学学报（工学版）
• 学科: 工学
• 关键词: 多线程语言 类型系统 安全模型
• 年，卷（期）: 2010,（5）
• 页码范围: 854-862
• 页数: 9页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2010.05.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈健		61	435	11.0	19.0
2	平玲娣		72	1386	15.0	36.0
3	陈小平		18	137	8.0	11.0
4	姜励		4	10	2.0	3.0