Security Engineering for Lifelong Evolvable Systems

Publications

Export 1 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: Author is Pironti, Alfredo  [Clear All Filters]
2010
Pironti, A., and J. Jürjens, "Formally Based Black Box Monitoring of Security Protocols", International Symposium on Engineering Secure Software and Systems (ESSOS 2010): Springer-Verlag, 2010.