小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2011年
4期
656-661
,共6页
张明西%韦俊银%张相峰%王以刚%刘晖
張明西%韋俊銀%張相峰%王以剛%劉暉
장명서%위준은%장상봉%왕이강%류휘
Bib模型%严格完整性策略%完整性%兼容性
Bib模型%嚴格完整性策略%完整性%兼容性
Bib모형%엄격완정성책략%완정성%겸용성
Biba模型的严格完整性策略能够保证数据的完整性,但是其静态实施可能降低系统的兼容性.在Biba模型严格完整性策略基础上提出了主体完整性标记动态确定方案.将主体完整性等级扩展为独立的读写区间,根据主体读写历史调整主体可读写的区间,在保护系统完整性的同时提高了系统的兼容性.给出了形式化证明,说明该方案是安全的.指出了现行改进方案中存在的安全隐患及导致该隐患的原因,通过对比分析说明动态确定方案能够消除该安全隐患.
Biba模型的嚴格完整性策略能夠保證數據的完整性,但是其靜態實施可能降低繫統的兼容性.在Biba模型嚴格完整性策略基礎上提齣瞭主體完整性標記動態確定方案.將主體完整性等級擴展為獨立的讀寫區間,根據主體讀寫歷史調整主體可讀寫的區間,在保護繫統完整性的同時提高瞭繫統的兼容性.給齣瞭形式化證明,說明該方案是安全的.指齣瞭現行改進方案中存在的安全隱患及導緻該隱患的原因,通過對比分析說明動態確定方案能夠消除該安全隱患.
Biba모형적엄격완정성책략능구보증수거적완정성,단시기정태실시가능강저계통적겸용성.재Biba모형엄격완정성책략기출상제출료주체완정성표기동태학정방안.장주체완정성등급확전위독립적독사구간,근거주체독사역사조정주체가독사적구간,재보호계통완정성적동시제고료계통적겸용성.급출료형식화증명,설명해방안시안전적.지출료현행개진방안중존재적안전은환급도치해은환적원인,통과대비분석설명동태학정방안능구소제해안전은환.