Formal Verification of Secrecy, Coercion Resistance and Verifiability Properties for a Remote Electronic Voting Protocol.
Khaoula MarzoukiAmira RadhouaniNarjes Ben RajebPublished in: Int. J. Inf. Secur. Priv. (2013)
Keyphrases
- formal verification
- electronic voting
- security properties
- model checker
- model checking
- cryptographic protocols
- blind signature
- voting protocols
- security requirements
- security analysis
- automated verification
- security protocols
- key distribution
- secret sharing
- temporal logic
- key management
- formal model
- bounded model checking
- multi party
- sensor networks