安全协议的测试与证明

安全协议的测试与证明

乔海燕

Testing and proving security protocols

QIAO Hai-yan

计算机工程与应用 . 2009, (4): 26 -29 . DOI: 10.3778/j.issn.1002-8331.2009.04.008