集成安全策略到系统建模:一个实例  

Integrating Security Policies into System Modeling:An Example

作　　者：张帆[1] 毋国庆[1] 刘小丽[1] 喻超[2] 

机构地区：[1]武汉大学计算机学院,武汉430072 [2]成都东软信息技术学院,成都611844

出　　处：《计算机与数字工程》2008年第10期70-73,共4页Computer & Digital Engineering

基　　金：国家863高科技研究与发展计划(编号:2007AA01Z185)资助

摘　　要：安全模型从理论上保证了系统的安全性。把安全模型应用到实际系统当中,是从理论走向实践的一个重要步骤。同时,形式化开发方法也是高可信、高安全的系统开发所必需的。因此,如何利用形式化的方法,把安全模型精确地表达到系统的实际建模、编码当中,是一项有意义的工作。结合一个实际的安全启动系统,利用B方法把Biba模型集成到了系统建模当中。Security models theoretically guarantee the security of a system. Thus, it is an important step to apply security models into a real system under development. Meanwhile, formal developments are necessarily required to develop highly trusted/secure system. Consequently, to precisely integrate security models into the system modeling and coding, by using formal development approaches, is a significant work. This paper presents how to integrate Biba model into the modeling of a security bootstrap system by using the B method.

关 键 词：B方法 形式化开发 系统建模 安全策略 

分 类 号：TP309.2[自动化与计算机技术—计算机系统结构]