Verification of a Leader Election Protocol for Autonomous Intruder Detection.
Laura HumphreyPublished in: Infotech@Aerospace (2012)
Keyphrases
- cryptographic protocols
- formal analysis
- automatic detection
- detection accuracy
- protocol specification
- neural network
- model checking
- detection method
- detection algorithm
- false alarms
- false positives
- lightweight
- anomaly detection
- model checker
- formal proof
- event detection
- detection rate
- formal verification
- cooperative
- verification method
- colored petri nets
- web services