Formal Correctness of Security Protocols

ISBN: 9783540681342

出版社: Springer-Verlag New York Inc

页数: 274

定价: 79.95

装帧: HRD