Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol.
Francesco BelardinelliRodica ConduracheCatalin DimaWojciech JamrogaMichal KnapikPublished in: CoRR (2022)
Keyphrases
- voting protocols
- electronic voting
- lightweight
- authentication protocol
- coloured petri nets
- capacity planning
- communication protocol
- data sets
- knowledge management
- case study
- security analysis
- security protocols
- security model
- formal analysis
- application layer
- key distribution
- strategic planning
- sensor networks
- decision making