SG Logic- A Formal Analysis Technique for Authentication Protocols.

Sigrid Gürgens

Published in: Security Protocols Workshop (1997)

Keyphrases

formal analysis
ban logic
authentication protocol
security analysis
formal methods
agent model
smart card
lightweight
software systems
cost effective
real time
rfid tags
public key
secret key
expert systems
database systems
security protocols
artificial intelligence
databases