a formal model for integrity protection based on dte technique
文献类型：期刊论文
| 作者 | Qingguang Ji ; Sihan Qing ; He Yeping |
| 刊名 | Science in China Series F: Information Sciences
 |
| 出版日期 | 2006 |
| 卷号 | 49期号:5页码:545-565 |
| 关键词 | formal model integrity policy information flow domain type ENFORCEMENT DOMAIN |
| 通讯作者 | Ji, QG (通讯作者), Chinese Acad Sci, Inst Software, Engn Res Ctr Informat Secur Technol, Beijing 100080, Peoples R China |
| 收录类别 | SPRINGER,SCI |
| WOS记录号 | WOS:000242000000001 |
| 公开日期 | 2010-08-23 |
| 附注 | 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. |
| 源URL | [http://124.16.136.157/handle/311060/3724]  |
| 专题 | 软件研究所_基础软件国家工程研究中心_期刊论文 |
| 推荐引用方式 GB/T 7714 | Qingguang Ji,Sihan Qing,He Yeping. a formal model for integrity protection based on dte technique[J]. Science in China Series F: Information Sciences,2006,49(5):545-565. |
| APA | Qingguang Ji,Sihan Qing,&He Yeping.(2006).a formal model for integrity protection based on dte technique.Science in China Series F: Information Sciences,49(5),545-565. |
| MLA | Qingguang Ji,et al."a formal model for integrity protection based on dte technique".Science in China Series F: Information Sciences 49.5(2006):545-565. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。