当前位置:首页 > 田园乐相关PDF电子书下载
-
-
-
-
-
-
-
-
-
-
计算机密码学 通用方案构造及安全性证明
田园著2008 年出版314 页ISBN:9787121066580本书阐述计算机密码方案与密码协议的安全性证明理论,包括基于计算复杂度概念的计算密码学方法和基于符号演算的形式分析与验证方法。安全性证明是一个技术复杂而思想活跃的领域,作者并不打算对此做面面俱到式...
