计算机工程与科学2020，Vol.42Issue(7)：1197-1207,11.DOI:10.3969/j.issn.1007-130X.2020.07.008
模式驱动的系统安全性设计的验证
Verification of pattern driven system security design
摘要
关键词
安全设计模式/代数规约/形式化验证/模型检测分类
信息技术与安全科学引用本文复制引用
郑小宇,刘冬梅,杜益宁,周子健,邱玫媚,朱鸿..模式驱动的系统安全性设计的验证[J].计算机工程与科学,2020,42(7):1197-1207,11.基金项目
国家自然科学基金(61502233 ,61402229) （61502233 ,61402229）
江苏高校"青蓝工程" （）
中央高校基本科研业务费专项资金(30916011328) （30916011328）
欧盟移动云计算 FP7项目MONICA(PIRSES-GA-2011-295222) （PIRSES-GA-2011-295222）
