模式驱动的系统安全性设计的验证. (Chinese)

Autor: 郑小宇, 刘冬梅, 杜益宁, 周子健, 邱玫媚, 朱鸿

Publikováno v: Computer Engineering & Science / Jisuanji Gongcheng yu Kexue; 2020, Vol. 42 Issue 7, p1197-1207, 11p