航空计算技术
航空計算技術
항공계산기술
AERONAUTICAL COMPUTER TECHNIQUE
2012年
2期
110-112,122
,共4页
多级安全%微内核%时空隔离
多級安全%微內覈%時空隔離
다급안전%미내핵%시공격리
针对构建MILS安全嵌入式操作系统需求,提出一种基于微内核的安全机制.通过微内核的安全监控机制和时空隔离结构,为系统提供安全性和可靠性的基础支撑,避免操作系统中访问控制机制被篡改、绕过,采用任务间时空隔离和消息传递机制使得各个安全关键任务独立运行,通过受控的消息机制进行交互,有效保证了各个模块的独立安全性.采用微内核架构能够进一步形式化验证,从而在安全的系统结构的下提高任务的安全性和可靠性.
針對構建MILS安全嵌入式操作繫統需求,提齣一種基于微內覈的安全機製.通過微內覈的安全鑑控機製和時空隔離結構,為繫統提供安全性和可靠性的基礎支撐,避免操作繫統中訪問控製機製被篡改、繞過,採用任務間時空隔離和消息傳遞機製使得各箇安全關鍵任務獨立運行,通過受控的消息機製進行交互,有效保證瞭各箇模塊的獨立安全性.採用微內覈架構能夠進一步形式化驗證,從而在安全的繫統結構的下提高任務的安全性和可靠性.
침대구건MILS안전감입식조작계통수구,제출일충기우미내핵적안전궤제.통과미내핵적안전감공궤제화시공격리결구,위계통제공안전성화가고성적기출지탱,피면조작계통중방문공제궤제피찬개、요과,채용임무간시공격리화소식전체궤제사득각개안전관건임무독립운행,통과수공적소식궤제진행교호,유효보증료각개모괴적독립안전성.채용미내핵가구능구진일보형식화험증,종이재안전적계통결구적하제고임무적안전성화가고성.
