Institutional Repository
| 主体完整性标记动态确定方案及其正确性证明 | |
| 张明西; 韦俊银; 张相峰; 王以刚; 刘晖 | |
| 2011 | |
| Source | 小型微型计算机系统
 |
| Issue | 4Pages:656-661 |
| English Abstract | B iba模型的严格完整性策略能够保证数据的完整性,但是其静态实施可能降低系统的兼容性.在B iba模型严格完整性策略基础上提出了主体完整性标记动态确定方案.将主体完整性等级扩展为独立的读写区间,根据主体读写历史调整主体可读写的区间,在保护系统完整性的同时提高了系统的兼容性.给出了形式化证明,说明该方案是安全的.指出了现行改进方案中存在的安全隐患及导致该隐患的原因,通过对比分析说明动态确定方案能够消除该安全隐患. |
| Keyword | Bib模型 严格完整性策略 完整性 兼容性 |
| Department | 东华大学计算机科学与技术学院;东华大学纺织面料技术教育部重点实验室;中国科学院软件研究所 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13727 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 张明西,韦俊银,张相峰,等. 主体完整性标记动态确定方案及其正确性证明[J]. 小型微型计算机系统,2011(4):656-661. |
| APA | 张明西,韦俊银,张相峰,王以刚,&刘晖.(2011).主体完整性标记动态确定方案及其正确性证明.小型微型计算机系统(4),656-661. |
| MLA | 张明西,et al."主体完整性标记动态确定方案及其正确性证明".小型微型计算机系统 .4(2011):656-661. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 主体完整性标记动态确定方案及其正确性证明（1460KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment