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 Publication | 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 |
»
- Login to post comments
- XML
- BibTex
- Google Scholar
