Knowledge, Belief, and Semantics in the Analysis of Cryptographic Protocols.

Paul F. Syverson

Published in: J. Comput. Secur. (1992)

Keyphrases

temporal constraints
knowledge base
cryptographic protocols
real time
data analysis
high dimensional
semantic information