模式驱动的系统安全性设计的验证
郑小宇, 刘冬梅, 杜益宁, 周子健, 邱玫媚, 朱鸿
Verification of pattern driven system security design
ZHENG Xiao-yu, LIU Dong-mei, DU Yi-ning, ZHOU Zi-jian, QIU Mei-mei, ZHU Hong
计算机工程与科学
.
2020, (07): 1197
-1207
.
DOI: 10.3969/j.issn.1007-130X.2020.07.008