Logic-Based Formal Analysis of Cryptographic Protocols.

Shahabuddin Muhammad Zeeshan Furqan Ratan K. Guha

Published in: ICON (2006)

Keyphrases

formal analysis
cryptographic protocols
standard model
agent model
formal methods
authentication protocol
ban logic
security protocols
knowledge representation
formal verification
databases
information systems
encryption decryption
locally decodable codes