安全协议的建模与分析

本书介绍了安全协议的一种建模与分析方法。

2005.02