Formally Based Black Box Monitoring of Security Protocols
Submitted by TUD on Mon, 2009-12-07 17:21
| Title | Formally Based Black Box Monitoring of Security Protocols |
| Publication Type | Conference Proceedings |
| Year of Conference | 2010 |
| Authors | Pironti, A., and J. Jürjens |
| Conference Name | International Symposium on Engineering Secure Software and Systems (ESSOS 2010) |
| Series Title | Lecture Notes for Computer Science |
| Publisher | Springer-Verlag |
