Login / Signup

The study on the application of BAN logic in formal analysis of authentication protocols.

Jinghua WenMei ZhangXiang Li
Published in: ICEC (2005)
Keyphrases
  • formal analysis
  • ban logic
  • authentication protocol
  • formal methods
  • agent model
  • wireless sensor networks
  • anomaly detection
  • lightweight