Computing Symbolic Models for Verifying Cryptographic Protocols - researchr publication

researchr

You are not signed in
Sign in
Sign up

Marcelo P. Fiore, Martín Abadi. Computing Symbolic Models for Verifying Cryptographic Protocols. In 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 11-13 June 2001, Cape Breton, Nova Scotia, Canada. pages 160-173, IEEE Computer Society, 2001. [doi]

Abstract is missing.

runs on WebDSL