基于串空间理论的安全协议自动验证

基于串空间理论的安全协议自动验证

刘家芬

Automatic verification of security protocols with strand space theory

LIU Jiafen

计算机应用 . 2015, (7): 1870 -1876 . DOI: 10.11772/j.issn.1001-9081.2015.07.1870