安全协议设计与分析

价　　格：¥25.80

作　　者：张文政[等]编著

ISBN：978-7-118-10339-7

出版社：国防工业出版社

出版日期：2015.11

文件格式：pdf或epub或扫描版

立即购买

温馨提示：电子书为虚拟商品，一经发货概不退换，请谨慎购买。3小时内发货(节假日除外)，发货时效不超过24小时，急单慎拍！

内容简介

书名：安全协议设计与分析
作者：张文政[等]编著
ISBN：978-7-118-10339-7
出版社：国防工业出版社
出版日期：2015.11
本书系统介绍了安全协议分析的理论方法，给出了安全协议目前的最新结果，如“安全协议工程原则”，“可证明安全协议分析方法”及“RFID安全分析技术”等，这些内容给出了目前可用于安全协议分析的国际前沿方法。本书中选用的例子都是实际应用的安全协议，有些是目前被广泛使用的安全协议，有些是曾经使用的安全协议，也有些协议是最新提出的安全协议。同时给出了安全协议设计的实用准则。

上一本：水下机器人自主操作导论