信息网络安全
应用安全形式化描述研究
张明德, 毕马宁, 王舜, 张清国
Research on Formalized Description of Application Security
Mingde ZHANG, Maning BI, Shun WANG, Qingguo ZHANG
信息网络安全 . 2016, (10): 47 -53 .  DOI: 10.3969/j.issn.1671-1122.2016.10.008