Open Issues in Formal Methods for Cryptographic Protocol Analysis.

Catherine A. Meadows

Published in: MMM-ACNS (2001)

Keyphrases

open issues
formal methods
formal analysis
information systems
software engineering
security properties