Media type: E-Article Title: Lecture Notes in Computer Science: Computational Soundness Results for ProVerif Contributor: Backes, Michael; Mohammadi, Esfandiar; Ruffing, Tim Published: Springer Berlin Heidelberg, 2014 Published in: Lecture Notes in Computer Science (2014), Seite 42-62 Language: Not determined DOI: 10.1007/978-3-642-54792-8_3 ISBN: 9783642547911; 9783642547928 ISSN: 1611-3349; 0302-9743 Origination: Footnote: