电子科技大学学报
電子科技大學學報
전자과기대학학보
JOURNAL OF UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA
2012年
1期
74-79
,共6页
杨霞%古和亦%汪强%桑楠%熊光泽
楊霞%古和亦%汪彊%桑楠%熊光澤
양하%고화역%왕강%상남%웅광택
BLP安全模型%高可信嵌入式操作系统体系架构%信息流控制%多级安全%可信分离内核
BLP安全模型%高可信嵌入式操作繫統體繫架構%信息流控製%多級安全%可信分離內覈
BLP안전모형%고가신감입식조작계통체계가구%신식류공제%다급안전%가신분리내핵
为保障Hades高可信嵌入式操作系统体系架构自身的可信性,必须对其不同安全等级分区之间的信息交互进行严格的控制.该文分析了现有采用分区机制的可信系统的信息流控制方法的不足,提出了一种信息流控制模型,建立了信息流控制机制,并通过实验原型进一步验证了该信息流控制技术的正确性和有效性.
為保障Hades高可信嵌入式操作繫統體繫架構自身的可信性,必鬚對其不同安全等級分區之間的信息交互進行嚴格的控製.該文分析瞭現有採用分區機製的可信繫統的信息流控製方法的不足,提齣瞭一種信息流控製模型,建立瞭信息流控製機製,併通過實驗原型進一步驗證瞭該信息流控製技術的正確性和有效性.
위보장Hades고가신감입식조작계통체계가구자신적가신성,필수대기불동안전등급분구지간적신식교호진행엄격적공제.해문분석료현유채용분구궤제적가신계통적신식류공제방법적불족,제출료일충신식류공제모형,건립료신식류공제궤제,병통과실험원형진일보험증료해신식류공제기술적정학성화유효성.
