| 完整性条件下无干扰模型 |
| |
| 引用本文： | 张 帆,陈 曙,桑永宣,游 林.完整性条件下无干扰模型[J].通信学报,2011(10):78-85. |
| |
| 作者姓名： | 张 帆 陈 曙 桑永宣 游 林 |
| |
| 作者单位： | 杭州电子科技大学通信工程学院;华中师范大学计算机科学系; |
| |
| 基金项目： | 国家高技术研究发展计划基金资助项目(“863”计划)基金资助项目(2007AA01Z85); 浙江省自然科学基金杰出青年团队资助项目(R1090138)~~ |
| |
| 摘 要： | 以Rushby的无干扰工作为基础,对完整性条件下的无干扰模型进行了研究:指出了Rushby所定义的视图划分系统和基于引用监视器假设的系统在完整性条件下和机密性条件下一样,都是满足无干扰的;给出了Biba模型的无干扰解释;提出了动作等价关系,并利用动作等价关系研究了完整性条件下的信息流释放问题;提出了等价自动机和纯化等价自动机的观点,并说明了如何利用这2个图形化的工具帮助进行完整性无干扰推演。
|
| 关 键 词： | 无干扰 完整性 机密性 信息安全 可信计算 |
Noninterference model for integrity |
| |
| ZHANG Fan,CHEN Shu,SANG Yong-xuan,YOU Lin.Noninterference model for integrity[J].Journal on Communications,2011(10):78-85. |
| |
| Authors: | ZHANG Fan CHEN Shu SANG Yong-xuan YOU Lin |
| |
| Affiliation: | ZHANG Fan1,CHEN Shu2,SANG Yong-xuan1,YOU Lin1(1.College of Communication School,Hangzhou Dianzi University,Hangzhou 310018,China,2.Department of Computer Science,Huazhong Normal University,Wuhan 430079,China) |
| |
| Abstract: | The integrity noninterference model was investigated based on Rushby's work.It was shown that the view-partitioned system and the reference monitor assumption-based system defined by Rushby still satisfy noninterfer-ence in the integrity condition as they do in the confidentiality condition;the integrity-noninterference explanation of the Biba model was given;the action-equivalence relation was proposed to deal with the integrity downgrading;two auto-matons,named the equivalent automaton and the purified eq... |
| |
| Keywords: | noninterference integrity confidentiality information security trusted computing |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《通信学报》浏览原始摘要信息 |
|
点击此处可从《通信学报》下载全文 |
|
