搜索：网络安全协议分析
网络安全协议分析与案例实践
文件大小：18MB 标注页数：132页 文件页数：141页
MD5：012a26a9302f7a7e7ee635b88cd55466
ISBN：9787302422686
出版社：北京：清华大学出版社
作者：赖英旭，田果，刘静等编著
出版时间：2015
网络安全协议的形式化分析与验证
文件大小：13MB 标注页数：214页 文件页数：227页
MD5：f00ab9dadc737c51b8cec4e74507d36b
ISBN：9787111297260
出版社：北京：机械工业出版社
作者：张爱新，李建华著
出版时间：2010
网络与信息安全前沿技术丛书 安全协议设计与分析
文件大小：34MB 标注页数：202页 文件页数：224页
MD5：d4093e72a5aebdda560baf6658dc5eab
ISBN：9787118103397
出版社：北京：国防工业出版社
作者：张文政等编著
出版时间：2015