安全协议设计与分析

本书系统介绍了安全协议分析的理论方法,给出了安全协议目前的最新结果,如”安全协议工程原则”,”可证明安...

2015.11