共 8 条
[6]
安全协议模型与设计[M]. 科学出版社 , 刘天华, 2012
[7]
网络安全协议的形式化分析与验证[M]. 机械工业出版社 , 李建华, 2010
[8]
网络安全教程[M]. 人民邮电出版社 , 田园, 2009