Security Engineering for Lifelong Evolvable Systems

Run-time Verification of Cryptographic Protocols

TitleRun-time Verification of Cryptographic Protocols
Publication TypeJournal Article
Year of Publication2010
AuthorsBauer, A., and J. Jürjens
JournalJournal for Computers & Security
Volume29
Start Page315-330