An On-the-Fly Model-Checker for Security Protocol Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David A. Basin, Sebastian Mödersheim, Luca Viganò. An On-the-Fly Model-Checker for Security Protocol Analysis. In Einar Snekkenes, Dieter Gollmann, editors, Computer Security - ESORICS 2003, 8th European Symposium on Research in Computer Security, Gjøvik, Norway, October 13-15, 2003, Proceedings. Volume 2808 of Lecture Notes in Computer Science, pages 253-270, Springer, 2003. [doi]

This author has not been identified. Look up 'David A. Basin' in GoogleThis author has not been identified. Look up 'Sebastian Mödersheim' in GoogleThis author has not been identified. Look up 'Luca Viganò' in Google

runs on WebDSL