On the Security Properties of e-Voting Bulletin Boards.

Aggelos Kiayias Annabell Kuldmaa Helger Lipmaa Janno Siim Thomas Zacharias

Published in: SCN (2018)

Keyphrases

security properties
bulletin board
security requirements
formal model
security analysis
security protocols
cryptographic protocols
formal methods
information systems
social networks
e government
end to end
customer support