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

摘要：

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

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

所属期刊栏目：36

分类号：TP309.2(计算技术、计算机技术)

资助基金：国家863高科技研究与发展计划2007AA012185

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

页数：共4页

页码：70-73