An Interface Specification Language for Automatically Analyzing Cryptographic Protocols.

Stephen H. Brackin

Published in: NDSS (1997)

Keyphrases

specification language
cryptographic protocols
programming language
formal specification
description language
software environment
standard model
security protocols
real time
databases
general purpose
fine grained
end to end