2010
Conference Paper
Title

Formally-based black-box monitoring of security protocols

Author(s)
Pironti, A.
Jürjens, J.
Mainwork
Conference
File(s)
Rights
Use according to copyright law
DOI
Language
English