Timed model checking of security protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader. Timed model checking of security protocols. In Vijayalakshmi Atluri, Michael Backes, David A. Basin, Michael Waidner, editors, Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washingtion, DC, USA, October 29, 2004. pages 23-32, ACM, 2004. [doi]

This author has not been identified. Look up 'Ricardo Corin' in GoogleIdentified as Sandro Etalle Identified as Pieter H. Hartel (University of Twente )This author has not been identified. Look up 'Angelika Mader' in Google

runs on WebDSL