维普中文期刊产品整合服务

A formal model for integrity protection based on DTE technique

查看全文 作　　者：JI [1]Qingguang;QING [1]Sihan;HE [2]Yeping 高影响力作者 机构地区：[1]Engineering Research Center for Information Security Technology, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China;[2]Infrastrucure Software Engineering Center, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China高影响力机构 出　　处：《Science in China(Series F)》索引2006年第49卷第5期,共21页高影响力期刊 基　　金：supported by the Beijing Natural Science Foundation(Grant No.4052016);the National Natural Science Foundation of China(Grant No.60573042);the National Grand Fundamental Research 973 Program of China(Grant No.G1999035802). 摘　　要：In order to provide integrity protection for the secure operating system to satisfy the structured protection class' requirements, a DTE technique based integrity protection formalization model is proposed after the implications and structures of the integrity policy have been analyzed in detail. This model consists of some basic rules for configuring DTE and a state transition model, which are used to instruct how the domains and types are set, and how security invariants obtained from initial configuration are maintained in the process of system transition respectively. In this model, ten invariants are introduced, especially, some new invariants dealing with information flow are proposed, and their relations with corresponding invariants described in literatures are also discussed. The thirteen transition rules with well-formed atomicity are presented in a well-operational manner. The basic security theorems correspond to these invariants and transition rules are proved. The rationalities for proposing the invariants are further annotated via analyzing the differences between this model and ones described in literatures. At last but not least, future works are prospected, especially, it is pointed out that it is possible to use this model to analyze SE-Linux security. 关 键 词：数据终端设备 DTE技术 信息流 形式模型
相关文献

参考文献(27)

引证文献(4)

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费