共 12 条
[1]
[2]
[3]
[4]
[6]
Applying Formal Methods to the Analysis of a Key Management Protocol.[J].Catherine Meadows.Journal of Computer Security.1992, 1
[7]
Linux高性能服务器编程.[M].游双; 著.机械工业出版社.2013,
[8]
密码学原理与实践.[M].()DouglasR.Stinson著;冯登国译;.电子工业出版社.2003,
[9]
[10]

