Formal Correctness of Security Protocols

With 62 Figures and 4 Tables


ISBN: 978-3-540-68134-2 (Print) 978-3-540-68136-6 (Online)
Download Book (3,240 KB) As a courtesy to our readers the eBook is provided DRM-free. However, please note that Springer uses effective methods and state-of-the art technology to detect, stop, and prosecute illegal sharing to safeguard our authors’ interests.