Panel: Use of Formal Methods in the Analysis of Cryptographic Protocols.

Joshua D. Guttman

Published in: CSFW (1992)

Keyphrases

formal methods
formal analysis
database
machine learning
expert systems
relational databases
security properties
wireless sensor networks