附件:设置1:设置2:王立斌设置3:本书系统介绍了安全协议分析的理论方法, 给出了安全协议目前的最新结果, 如”安全协议工程原则”, ”可证明安全协议分析方法”及”RFID安全分析技术”等, 这些内容给出了目前可用于安全协议分析的国际前沿方法。本书中选用的例子都是实际应用的安全协议, 有些是目前被广泛使用的安全协议, 有些是曾经使用的安全协议, 也有些协议是最新提出的安全协议。同时给出了安全协议设计的实用准则。摘要:有书目
附注提要
本书系统介绍了安全协议分析的理论方法, 给出了安全协议目前的最新结果, 如”安全协议工程原则”, ”可证明安全协议分析方法”及”RFID安全分析技术”等, 这些内容给出了目前可用于安全协议分析的国际前沿方法。本书中选用的例子都是实际应用的安全协议, 有些是目前被广泛使用的安全协议, 有些是曾经使用的安全协议, 也有些协议是最新提出的安全协议。同时给出了安全协议设计的实用准则。