安全策略模型规范及其形式分析技术研究
李丽萍,卿斯汉,周洲仪,何建波,温红子
Research on formal security policy model specification and its formal analysis
Li-ping LI,Si-han1 QING,Zhou-yi ZHOU,EJian-bo H,ENHong-zi W
通信学报 . 2006, (6): 94 -101 .  DOI: 1000-436X(2006)06-0094-08