网络安全协议的形式化分析与验证

网络安全协议的形式化分析与验证
image
《网络安全协议的形式化分析与验证》是2010年4月1日机械工业出版社出版的图书，作者是李建华。

图书信息

书 名: 网络安全协议的形式 化分析与验证
作　者：李建华
出版社：机械工业出版社