题名 具有历史特征的Biba模型严格完整性策略
被引量：3
1
作者
张明西 韦俊银 程裕强 王影 刘晖
机构
东华大学计算机科学与技术学院 东华大学纺织面料技术教育部重点实验室 山东工商学院管理科学与工程学院
出处
《郑州大学学报（理学版）》
CAS
北大核心
2011年第1期85-89,共5页
基金
国家自然科学基金资助项目 编号90718027 +1 种基金 高等学校纺织生物医用材料学科创新引智计划项目 编号B070204
文摘
针对Biba模型中的严格完整性策略在保证数据完整性的同时会降低系统兼容性的问题,在Biba严格完整性模型基础上提出了具有历史特征的Biba模型严格完整性策略,将主体完整性等级扩展为独立的读写区间,并根据主体读写历史调整主体可读写的区间,并给出形式化的描述.该模型既可以保护系统数据的完整性,又能提高系统的兼容性.同时,给出所构造规则的实施策略的实现算法,说明该实施策略和常规实施策略具有相同的时间复杂度.
关键词
BIBA模型 严格 完整性 策略 完整性 兼容性
Keywords
Biba model strict integrity policy integrity compatibility
分类号
TP309
[自动化与计算机技术—计算机系统结构]
TP316
[自动化与计算机技术—计算机科学与技术]
题名 主体完整性标记动态确定方案及其正确性证明
被引量：1
2
作者
张明西 韦俊银 张相峰 王以刚 刘晖
机构
东华大学计算机科学与技术学院 东华大学纺织面料技术教育部重点实验室 中国科学院软件研究所
出处
《小型微型计算机系统》
CSCD
北大核心
2011年第4期656-661,共6页
基金
国家自然科学基金项目(90718027)资助 高等学校纺织生物医用材料学科创新引智计划项目(B070204)资助
文摘
B iba模型的严格完整性策略能够保证数据的完整性,但是其静态实施可能降低系统的兼容性.在B iba模型严格完整性策略基础上提出了主体完整性标记动态确定方案.将主体完整性等级扩展为独立的读写区间,根据主体读写历史调整主体可读写的区间,在保护系统完整性的同时提高了系统的兼容性.给出了形式化证明,说明该方案是安全的.指出了现行改进方案中存在的安全隐患及导致该隐患的原因,通过对比分析说明动态确定方案能够消除该安全隐患.
关键词
Bib模型 严格 完整性 策略 完整性 兼容性
Keywords
biba model strict integrity policy integrity compatibility
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 面向细粒度XML文档的BIBA严格完整性策略扩展
3
作者
冯学斌 洪帆 刘铭 韩兰胜
机构
华中科技大学计算机科学与技术学院
出处
《计算机工程与科学》
CSCD
北大核心
2009年第4期81-83,共3页
基金
国家自然科学基金资助项目(60703048) 湖北省自然科学基金资助项目(2007ABA313)
文摘
本文对细粒度XML文档上的BIBA严格完整性策略进行了研究。通过对XML文档的结构约束进行分析,建立了XML文档上的完整性约束规则,从而将BIBA严格完整性策略扩展到了XML文档上;建立一个包含完整性属性的XML文档模型,对XML文档的结构特点进行了分析;提出了完整性标签传播规则,以支持部分标记完整性的XML文档;最后对完整性策略的实现机制进行了讨论。
关键词
XML 细粒度访问控制 BIBA 严格 完整性 策略
Keywords
XML fine-grained access control BIBA strict integrity policy
分类号
TP309
[自动化与计算机技术—计算机系统结构]
