Research on Formalized Description of Application Security
Mingde ZHANG, Maning BI, Shun WANG, Qingguo ZHANG
Netinfo Security . 2016, (10): 47 -53 .  DOI: 10.3969/j.issn.1671-1122.2016.10.008