计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2009年
14期
100-102
,共3页
多级安全性(MLS)%安全模型%动态安全级
多級安全性(MLS)%安全模型%動態安全級
다급안전성(MLS)%안전모형%동태안전급
针对采用传统MLS模型实现的系统可用性和灵活性较低的问题,提出了一种基于动态安全级的MLS模型Dynamic MLS.模型使用由流入信息最高安全级和流出信息最低安全级组成的动态安全级代替传统BLP模型中的当前安全级,并依此对主体访问客体的行为进行更灵活的控制.模型在BLP模型11条规则的基础上对其中的5条规则进行了改进,并通过形式化方法证明了改进模型的正确性.最后给出了模型在增加linux系统安全性方面的应用.
針對採用傳統MLS模型實現的繫統可用性和靈活性較低的問題,提齣瞭一種基于動態安全級的MLS模型Dynamic MLS.模型使用由流入信息最高安全級和流齣信息最低安全級組成的動態安全級代替傳統BLP模型中的噹前安全級,併依此對主體訪問客體的行為進行更靈活的控製.模型在BLP模型11條規則的基礎上對其中的5條規則進行瞭改進,併通過形式化方法證明瞭改進模型的正確性.最後給齣瞭模型在增加linux繫統安全性方麵的應用.
침대채용전통MLS모형실현적계통가용성화령활성교저적문제,제출료일충기우동태안전급적MLS모형Dynamic MLS.모형사용유류입신식최고안전급화류출신식최저안전급조성적동태안전급대체전통BLP모형중적당전안전급,병의차대주체방문객체적행위진행경령활적공제.모형재BLP모형11조규칙적기출상대기중적5조규칙진행료개진,병통과형식화방법증명료개진모형적정학성.최후급출료모형재증가linux계통안전성방면적응용.
