Login / Signup

Automated formal analysis of NetConf protocol for authentication properties.

Farnaz IzadiHadi Shahriar Shahhoseini
Published in: IST (2012)
Keyphrases
  • formal analysis
  • ban logic
  • authentication protocol
  • formal methods
  • agent model
  • artificial intelligence
  • knowledge base
  • knowledge acquisition
  • security analysis
  • biometric authentication