Let s Get Physical: Models and Methods for Real-World Security Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David A. Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt. Let s Get Physical: Models and Methods for Real-World Security Protocols. In Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel, editors, Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Volume 5674 of Lecture Notes in Computer Science, pages 1-22, Springer, 2009. [doi]

This author has not been identified. Look up 'David A. Basin' in GoogleThis author has not been identified. Look up 'Srdjan Capkun' in GoogleThis author has not been identified. Look up 'Patrick Schaller' in GoogleThis author has not been identified. Look up 'Benedikt Schmidt' in Google

runs on WebDSL