计算机密码学:通用方案构造及安全性证明

Saved in:
Bibliographic Details
Main Authors: 田园 (著)
Published: 电子工业出版社
Publisher Address: 北京
Publication Dates: 2008
Literature type: Book
Language: Chinese
Subjects:
Carrier Form: 10,314页: ; 26cm
ISBN: 978-7-121-06658-0
Index Number: TN918
CLC: TN918.1
TP309.7
Call Number: TN918.1/6462
Contents: 阐述计算机密码方案与密码协议的安全性证明理论,包括基于计算复杂度概念的计算密码学方法和基于符号演算的形式分析与验证方法。