完整性条件下无干扰模型

• 作者: 张帆 桑永宣 游林 陈曙
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 无干扰 完整性 机密性 信息安全 可信计算
• 年，卷（期）: 2011,（10）
• 所属期刊栏目: 学术论文
• 页码范围: 78-85
• 分类号: TP309
• 字数: 8098字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-436X.2011.10.010

摘要

以Rushby的无干扰工作为基础,对完整性条件下的无干扰模型进行了研究:指出了Rushby所定义的视图划分系统和基于引用监视器假设的系统在完整性条件下和机密性条件下一样,都是满足无干扰的；给出了Biba模型的无干扰解释；提出了动作等价关系,并利用动作等价关系研究了完整性条件下的信息流释放问题；提出了等价自动机和纯化等价自动机的观点,并说明了如何利用这2个图形化的工具帮助进行完整性无干扰推演.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	游林	杭州电子科技大学通信工程学院	55	184	7.0	10.0
2	张帆	杭州电子科技大学通信工程学院	19	112	7.0	10.0
3	陈曙	华中师范大学计算机科学系	25	93	5.0	8.0
4	桑永宣	杭州电子科技大学通信工程学院	4	12	1.0	3.0