Login / Signup
Automated formal analysis of NetConf protocol for authentication properties.
Farnaz Izadi
Hadi 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