Infinite State AMC-Model Checking for Cryptographic Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Detlef Kähler, Ralf Küsters, Tomasz Truderung. Infinite State AMC-Model Checking for Cryptographic Protocols. In 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings. pages 181-192, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Detlef Kähler' in GoogleThis author has not been identified. Look up 'Ralf Küsters' in GoogleThis author has not been identified. Look up 'Tomasz Truderung' in Google

runs on WebDSL