Extending BAN Logic for Reasoning with Modern PKI-Based Protocols.

Sufatrio Roland H. C. Yap

Published in: NPC Workshops (2008)

Keyphrases

authentication protocol
ban logic
public key
rfid systems
formal analysis
knowledge base
security analysis
security protocols
security mechanisms
lightweight
key distribution
knowledge representation
rfid tags
multipath
secret key
cost effective
object oriented
artificial intelligence