主体完整性标记动态确定方案及其正确性证明

• 作者: 刘晖 张明西 张相峰 王以刚 韦俊银
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: Bib模型 严格完整性策略 完整性 兼容性
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 信息安全
• 页码范围: 656-661
• 分类号: TP11
• 字数: 7774字
• 语种: 中文

摘要

Biba模型的严格完整性策略能够保证数据的完整性,但是其静态实施可能降低系统的兼容性.在Biba模型严格完整性策略基础上提出了主体完整性标记动态确定方案.将主体完整性等级扩展为独立的读写区间,根据主体读写历史调整主体可读写的区间,在保护系统完整性的同时提高了系统的兼容性.给出了形式化证明,说明该方案是安全的.指出了现行改进方案中存在的安全隐患及导致该隐患的原因,通过对比分析说明动态确定方案能够消除该安全隐患.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王以刚	东华大学计算机科学与技术学院	28	147	6.0	11.0
2	刘晖	东华大学计算机科学与技术学院	11	25	2.0	4.0
6	韦俊银	东华大学计算机科学与技术学院	5	7	2.0	2.0
7	张明西	东华大学计算机科学与技术学院	6	107	3.0	6.0
11	张相峰	中国科学院软件研究所	2	7	1.0	2.0