Semantics And Verification Of Security Protocols
Publisher: Springer
Published: 2013
ISBN-13: 9783540786351