网络安全协议的形式化分析与验证 李建华 等 著 李建华、张爱新、薛质、 等 机械工业出版社 (2010-04出版) 出版时间：1970-1出版社：李建华、张爱新、薛质、 等 机械工业出版社 (2010-04出版)作者：李建华 等 著页数：214 图书封面 下载链接 网络安全协议的形式化分析与验证PDF格式下载
