Verification of a Leader Election Protocol for Autonomous Intruder Detection.

Published 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