Publications
Filters: Author is Pironti, Alfredo [Clear All Filters]
"Formally Based Black Box Monitoring of Security Protocols",
International Symposium on Engineering Secure Software and Systems (ESSOS 2010): Springer-Verlag, 2010.
Security Engineering for Lifelong Evolvable Systems
|
|