Operational Semantics and Verification of Security Protocols

Authors:

ISBN: 978-3-540-78635-1 (Print) 978-3-540-78636-8 (Online)