An On-the-Fly Model-Checker for Security Protocol Analysis.

David A. Basin, Sebastian Mdersheim, Luca Vigan

Browse the full ESORICS paper archive.