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 | In Press |
| Authors | Bauer, A., and J. Jürjens |
| Journal | Journal for Computers & Security |
