Automated Reasoning for Security Protocol Analysis
(Sprache: Englisch)
Oxford University, UK (Co-chair) Catherine Meadows Naval Research Laboratory, USA John Mitchell Stanford University, USA
Leider schon ausverkauft
versandkostenfrei
Buch
65.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Automated Reasoning for Security Protocol Analysis “
Klappentext zu „Automated Reasoning for Security Protocol Analysis “
Oxford University, UK (Co-chair) Catherine Meadows Naval Research Laboratory, USA John Mitchell Stanford University, USA
Bibliographische Angaben
- VIII, 184 Seiten, Maße: 15,9 x 24,4 cm, Kartoniert (TB), Englisch
- Herausgegeben: Alessandro Armando, Gavin Lowe
- Verlag: Springer Berlin
- ISBN-10: 3642160735
- ISBN-13: 9783642160738
- Erscheinungsdatum: 08.10.2010
Sprache:
Englisch
Kommentar zu "Automated Reasoning for Security Protocol Analysis"
Schreiben Sie einen Kommentar zu "Automated Reasoning for Security Protocol Analysis".
Kommentar verfassen