A Dolev-Yao-Based Definition of Abuse-Free Protocols.

Detlef Khler, Ralf Ksters, Thomas Wilke

Browse the full ICALP paper archive.