硅谷
硅穀
규곡
SILICON VALLEY
2011年
5期
61-62,12
,共3页
信息系统%强制访问控制模型%安全策略
信息繫統%彊製訪問控製模型%安全策略
신식계통%강제방문공제모형%안전책략
在安全级格模型、BLP、Biba安全模型的基础上,为解决信息系统对信息安全性的要求,针对传统BLP模型的多级安全策略并投有阻止信息的非法修改的弱点,利用现有Petri网数学模型,结合网络应用,对强制访问控制模型进行分析研究,对模型的安全性进行验证,实践证明,能够有效地改善信息系统的总体安全策略.
在安全級格模型、BLP、Biba安全模型的基礎上,為解決信息繫統對信息安全性的要求,針對傳統BLP模型的多級安全策略併投有阻止信息的非法脩改的弱點,利用現有Petri網數學模型,結閤網絡應用,對彊製訪問控製模型進行分析研究,對模型的安全性進行驗證,實踐證明,能夠有效地改善信息繫統的總體安全策略.
재안전급격모형、BLP、Biba안전모형적기출상,위해결신식계통대신식안전성적요구,침대전통BLP모형적다급안전책략병투유조지신식적비법수개적약점,이용현유Petri망수학모형,결합망락응용,대강제방문공제모형진행분석연구,대모형적안전성진행험증,실천증명,능구유효지개선신식계통적총체안전책략.
