English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Formally-based black-box monitoring of security protocols
Details
Full
Export
Statistics
Options
2010
Conference Paper
Titel
Formally-based black-box monitoring of security protocols
Author(s)
Pironti, A.
Jürjens, J.
Hauptwerk
Engineering secure software and systems. Second international symposium, ESSoS 2010
Konferenz
International Symposium on Engineering Secure Software and Systems (ESSoS) 2010
DOI
10.1007/978-3-642-11747-3_7
File(s)
N-148598.pdf (66.8 KB)
Language
English
google-scholar
View Details
Fraunhofer-Institut für Software- und Systemtechnik ISST