Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer.
Santiago EscobarCatherine A. MeadowsJosé MeseguerPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- equational theories
- cryptographic protocols
- security protocols
- knowledge base
- formal specification
- packet filtering
- security properties
- qualitative reasoning
- reasoning process
- spatial reasoning
- smart card
- secure communication
- network protocols
- lightweight
- automated reasoning
- reasoning tasks
- legal reasoning
- theorem proving
- cryptographic algorithms
- knowledge representation
- authentication protocol
- communication protocol
- application layer