Institutional Repository
| a practical alternative to domain and type enforcement integrity formal models | |
| Tang Liuying; Qing Sihan | |
| 2006 | |
| Conference Name | 2nd SKLOIS Conference on Information Security and Cryptology |
| Pages | 225-237 |
| Conference Date | NOV 29-DEC |
| Conference Place | Beijing, PEOPLES R CHINA |
| Publish Place | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
| Publisher | Information Security and Cryptology, Proceedings |
| ISSN | 0302-9743 |
| ISBN | 978-3-540-49608-3 |
| Department | Chinese Acad Sci, Inst Software, Engn Res Ctr Fundamental Software, Beijing 100080, Peoples R China. |
| English Abstract | Much secure system policy development uses the DTE (Domain and Type Enforcement) model, but the DTE model cannot explicitly provide the security goals of the policy. The invariants of the only based-DTE integrity protection formal model are to |
| Keyword | Security Label Security Goal Integrity Information Flow Formal Model |
| Sponsorship | Chinese Acad Sci, State Key Lab Informat Secur, Inst Software, Chinese Acad Sci, CAS, Grad Univ, Natl Nat Sci Fdn China |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/12264 |
| Collection | 基础软件国家工程研究中心 |
| Recommended Citation GB/T 7714 | Tang Liuying,Qing Sihan. a practical alternative to domain and type enforcement integrity formal models[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:Information Security and Cryptology, Proceedings,2006:225-237. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| a practical alternat（388KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment