Cas Cremers,Sjouke Mauw: Operational Semantics and Verification of Security Protocols
____________________________
Author: Cas Cremers,Sjouke Mauw
Number of Pages: 174 pages
Published Date: 09 Nov 2014
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: Multiple languages
ISBN: 9783642430534
Download Link: Click Here
____________________________