威胁驱动的Web应用On-The-Fly导航模型验证方法
胡立立1;2， 缪淮扣1;2， 陈圣波1;2， 梅佳1， 高洪皓1
Threat-Driven On-The-Fly Verification of Navigation Model for Web Applications
HU Li-li1;2, MIAO Huai-kou1;2, CHEN Sheng-bo1;2, MEI Jia1, GAO Hong-hao1
应用科学学报
.
2011, (1): 83
-92
.
DOI: 10.3969/j.issn.0255-8297.2011.01.015
