Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 1 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: Author is Pironti, Alfredo  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
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.