计算机与数字工程2008，Vol.36Issue(10)：70-73,4.
集成安全策略到系统建模:一个实例
Integrating Security Policies into System Modeling:An Example
摘要
关键词
B方法/形式化开发/系统建模/安全策略分类
信息技术与安全科学引用本文复制引用
张帆,毋国庆,刘小丽,喻超..集成安全策略到系统建模:一个实例[J].计算机与数字工程,2008,36(10):70-73,4.基金项目
国家863高科技研究与发展计划(编号:2007AA012185)资助. （编号:2007AA012185）
