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

摘要：

安全模型从理论上保证了系统的安全性。把安全模型应用到实际系统当中,是从理论走向实践的一个重要步骤.同时,形式化开发方法也是高可信、高安全的系统开发所必需的.因此,如何利用形式化的方法,把安全模型精确地表达到系统的实际建模、编码当中,是一项有意义的工作.结合一个实际的安全启动系统,利用B方法把Biba模型集成到了系统建模当中.

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

作者: 张帆 毋国庆 刘小丽 喻超

作者单位: 武汉大学计算机学院,武汉,430072 成都东软信息技术学院,成都,611844

会议类型: 国内会议

会议名称: 2008年全国理论计算机科学学术年会

会议地点: 西安

会议语种:中文

页码: 70-73

在线出版日期: 2008-09-19（万方平台首次上网日期，不代表论文的发表时间）