Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Formally-based black-box monitoring of security protocols

 
: Pironti, A.; Jürjens, J.

:

Massacci, F.:
Engineering secure software and systems. Second international symposium, ESSoS 2010 : Pisa, Italy, February 3-4, 2010 ; proceedings
Berlin: Springer, 2010 (Lecture Notes in Computer Science 5965)
ISBN: 3-642-11746-5
ISBN: 978-3-642-11746-6
ISSN: 0302-9743
pp.79-95
International Symposium on Engineering Secure Software and Systems (ESSoS) <2, 2010, Pisa>
English
Conference Paper
Fraunhofer ISST ()

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