Timed Automata as a Verification Tool for Security Protocols: An Analysis on a Case Study

Verification

von Burcu Külahçıoğlu

Taschenbuch

ISBN: 978-3-8443-9460-3

ISBN-10: 3-8443-9460-5

LAP LAMBERT Academic Publishing · 2011