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

David A. Basin Sebastian Mödersheim Luca Viganò

Published in: ESORICS (2003)

Keyphrases

security protocols
web services
image analysis
rough sets