通信学报
通信學報
통신학보
JOURNAL OF CHINA INSTITUTE OF COMMUNICATIONS
2009年
2期
52-58
,共7页
多级安全%BLP模型%Biba模型%二元多级安全模型%非传递无干扰理论
多級安全%BLP模型%Biba模型%二元多級安全模型%非傳遞無榦擾理論
다급안전%BLP모형%Biba모형%이원다급안전모형%비전체무간우이론
提出了一个新的基于非传递无干扰理论的二元多级安全模型,其分别依据BLP和Biba模型的思想保护信息的机密性和完整性.为增强模型的实际可用性,引入了机密性可信域和完整性可信域,其在机密性检查室和完整性检查室内对违反安全策略的操作进行检查.基于信息流的非传递无干扰理论对于该模型进行了严格的形式化描述,并证明了其安全性,近一步讨论了其在Linux操作系统中的实现和在实际中的应用.该研究对于国家信息内容安全基础设施中敏感信息的保护具有一定的理论和实用价值.
提齣瞭一箇新的基于非傳遞無榦擾理論的二元多級安全模型,其分彆依據BLP和Biba模型的思想保護信息的機密性和完整性.為增彊模型的實際可用性,引入瞭機密性可信域和完整性可信域,其在機密性檢查室和完整性檢查室內對違反安全策略的操作進行檢查.基于信息流的非傳遞無榦擾理論對于該模型進行瞭嚴格的形式化描述,併證明瞭其安全性,近一步討論瞭其在Linux操作繫統中的實現和在實際中的應用.該研究對于國傢信息內容安全基礎設施中敏感信息的保護具有一定的理論和實用價值.
제출료일개신적기우비전체무간우이론적이원다급안전모형,기분별의거BLP화Biba모형적사상보호신식적궤밀성화완정성.위증강모형적실제가용성,인입료궤밀성가신역화완정성가신역,기재궤밀성검사실화완정성검사실내대위반안전책략적조작진행검사.기우신식류적비전체무간우이론대우해모형진행료엄격적형식화묘술,병증명료기안전성,근일보토론료기재Linux조작계통중적실현화재실제중적응용.해연구대우국가신식내용안전기출설시중민감신식적보호구유일정적이론화실용개치.
