UC Modelling and Security Analysis of the Estonian IVXV Internet Voting System.
Bingsheng ZhangZengpeng LiJan WillemsonPublished in: CoRR (2021)
Keyphrases
- security analysis
- internet voting
- smart card
- public key
- security requirements
- high security
- security model
- image encryption
- encryption scheme
- authentication protocol
- security properties
- user authentication
- case study
- authentication scheme
- artificial intelligence
- video sequences
- mutual authentication
- encryption algorithm
- conflict resolution
- information security
- image quality