Understanding the Security Properties of Ballot-Based Verification Techniques.

Published in: EVT/WOTE (2009)

Keyphrases

security properties
cryptographic protocols
formal methods
formal model
security requirements
security analysis
security protocols
security vulnerabilities
real time
wireless sensor networks
low cost
model checking