Formal Correctness of Security Protocols

With 62 Figures and 4 Tables

Authors:

ISBN: 978-3-540-68134-2 (Print) 978-3-540-68136-6 (Online)