• search hit 18 of 25
Back to Result List

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
Publishing Institution:Universität Augsburg
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