集成安全策略到系统建模:一个实例
张帆1
毋国庆1
刘小丽1
喻超2
1.武汉大学计算机学院,武汉,4300722.成都东软信息技术学院,成都,611844
摘要：安全模型从理论上保证了系统的安全性.把安全模型应用到实际系统当中,是从理论走向实践的一个重要步骤.同时,形式化开发方法也是高可信、高安全的系统开发所必需的.因此,如何利用形式化的方法,把安全模型精确地表达到系统的实际建模、编码当中,是一项有意义的工作.结合一个实际的安全启动系统,利用B方法把Biba模型集成到了系统建模当中.
关键词：B方法形式化开发系统建模安全策略
分类号：TP309.2(计算技术、计算机技术)
资助基金：国家高技术研究发展计划（863计划）(2007AA012185)
论文发表日期：2008-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 70-73 )
英文信息