Using logics to detect implementation-dependent flaws [cryptographic protocol design] - researchr publication

researchr

You are not signed in
Sign in
Sign up

Ulf Carlsen. Using logics to detect implementation-dependent flaws [cryptographic protocol design]. In Ninth Annual Computer Security Applications Conference, ACSAC 1993, 6-10 Decemver, 1993, Orlando, Florida, USA. pages 64-73, IEEE, 1993. [doi]

Abstract is missing.

runs on WebDSL