Operational Semantics and Verification of Security

2014-01-24 分类：计算机、互联网

Operational Semantics and Verification of Security Protocols (Information Security and Cryptography)

Hardcover: 176 pages

Publisher: Springer (October 31, 2012)

Language: English

ISBN-10: 354078635X

代发服务PDF电子书10元立即求助

1111

 打赏