Formal Correctness of Security Protocols (Information Security and Cryptography)

Correctness

von Giampaolo Bella

Taschenbuch

ISBN-13: 978-3-642-08782-0

ISBN-10: 3-642-08782-5

Springer · 2010

Siehe auch:
2007Gebundene AusgabeFormal Correctness of Security Protocols (Information Security and Cryptography)