本书阐述计算机密码方案与密码协议的安全性证明理论,包括基于计算复杂度概念的计算密码学方法和基于符号演算的形式分析与验证方法。

提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。