Institutional Repository
| a formal model for integrity protection based on dte technique | |
| Qingguang Ji; Sihan Qing; He Yeping; Ji, QG (通讯作者), Chinese Acad Sci, Inst Software, Engn Res Ctr Informat Secur Technol, Beijing 100080, Peoples R China | |
| 2006 | |
| Source | Science in China Series F: Information Sciences
![]() |
| Volume | 49Issue:5Pages:545-565 |
| Indexed Type | springer,sci |
| Keyword | Formal Model Integrity Policy Information Flow Domain Type Enforcement Domain |
| Department | 基础软件国家工程研究中心 |
| WOS ID | WOS:000242000000001 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/3724 |
| Collection | 基础软件国家工程研究中心 |
| Corresponding Author | Ji, QG (通讯作者), Chinese Acad Sci, Inst Software, Engn Res Ctr Informat Secur Technol, Beijing 100080, Peoples R China |
| Recommended Citation GB/T 7714 | Qingguang Ji,Sihan Qing,He Yeping,et al. 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,&Ji, QG .(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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 3.pdf(1170KB) | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment