Skip to content

Cryptographic Protocol Composition via the Authentication Tests.

Joshua D. Guttman

Year2009
ProceedingsFoSSaCS

Browse the full FOSSACS paper archive.