软件导刊
軟件導刊
연건도간
SOFT WARE GUIDE
2012年
5期
122-124
,共3页
李锋%许翼翼%黄皓%钱振江
李鋒%許翼翼%黃皓%錢振江
리봉%허익익%황호%전진강
安全核%完整性%地址隔离%消息通信
安全覈%完整性%地阯隔離%消息通信
안전핵%완정성%지지격리%소식통신
为避免操作系统中访问控制机制被篡改、旁路,基于微内核多服务器结构设计并实现了安全核,为系统的机密性和完整性提供了保障.微内核结构的简单性和模块化为安全核的形式化验证奠定了基础.原型系统VTOS的安全核为用户提供多策略的访问控制,通过微内核多服务器结构为安全服务器提供了不可旁路性和完整性保障,确保安全策略的正确实施.
為避免操作繫統中訪問控製機製被篡改、徬路,基于微內覈多服務器結構設計併實現瞭安全覈,為繫統的機密性和完整性提供瞭保障.微內覈結構的簡單性和模塊化為安全覈的形式化驗證奠定瞭基礎.原型繫統VTOS的安全覈為用戶提供多策略的訪問控製,通過微內覈多服務器結構為安全服務器提供瞭不可徬路性和完整性保障,確保安全策略的正確實施.
위피면조작계통중방문공제궤제피찬개、방로,기우미내핵다복무기결구설계병실현료안전핵,위계통적궤밀성화완정성제공료보장.미내핵결구적간단성화모괴화위안전핵적형식화험증전정료기출.원형계통VTOS적안전핵위용호제공다책략적방문공제,통과미내핵다복무기결구위안전복무기제공료불가방로성화완정성보장,학보안전책략적정학실시.
