Formal verification of tamper-evident storage for e-voting.
Dominique CansellJ. Paul GibsonDominique MéryPublished in: SEFM (2007)
Keyphrases
- formal verification
- model checking
- model checker
- bounded model checking
- automated verification
- symbolic model checking
- data storage
- storage requirements
- program slicing
- storage and retrieval
- voting method
- file system
- temporal logic
- voting schemes
- majority voting
- storage devices
- reverse engineering
- software architecture
- domain independent
- tamper detection
- reinforcement learning