On the Automated Correction of Protocols with Improper Message Encoding - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dieter Hutter, Raul Monroy. On the Automated Correction of Protocols with Improper Message Encoding. In Pierpaolo Degano, Luca ViganÃ², editors, Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers. Volume 5511 of Lecture Notes in Computer Science, pages 138-154, Springer, 2009. [doi]

This author has not been identified. Look up 'Dieter Hutter' in GoogleThis author has not been identified. Look up 'Raul Monroy' in Google

runs on WebDSL