Pitfalls in formal reasoning about security protocols

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Nina Moebius, Kurt StenzelGND, Wolfgang ReifORCiDGND
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/58482
ISBN:9781424458790OPAC
Parent Title (English):2010 International Conference on Availability, Reliability and Security, 15-18 Feb. 2010, Krakow, Poland
Publisher:IEEE
Place of publication:Piscataway, NJ
Editor:Makoto Takizawa, A Min Tjoa, Markus Aleksy, Solange Ghernouti-Hélie, Gerald Quirchmayr, Edgar Weippl
Type:Part of a Book
Language:English
Year of first Publication:2010
Release Date:2019/07/18
First Page:248
Last Page:253
DOI:https://doi.org/10.1109/ares.2010.36
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik