Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Finite models in FOL-based crypto-protocol verification

 
: Jürjens, J.; Weber, T.

:

Degano, P.:
Foundations and applications of security analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009; revised selected papers
Berlin: Springer, 2009 (Lecture Notes in Computer Science 5511)
ISBN: 3-642-03458-6
ISBN: 978-3-642-03458-9
ISSN: 0302-9743
pp.155-172
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS) <2009, York>
English
Conference Paper
Fraunhofer ISST ()
model-based security

: http://publica.fraunhofer.de/documents/N-123166.html