Run-time Verification of Cryptographic Protocols
Submitted by TUD on Mon, 2009-12-07 17:19
| Title | Run-time Verification of Cryptographic Protocols |
| Publication Type | Journal Article |
| Year of Publication | 2010 |
| Authors | Bauer, A., and J. Jürjens |
| Journal | Journal for Computers & Security |
| Volume | 29 |
| Start Page | 315-330 |
»
- Login to post comments
- XML
- BibTex
- Google Scholar
