Beyond the Happy Path : A Safety-Critical Audit Methodology for Estonia’s I-Voting Processing Application
author
Treier, Tarvo
statement of authorship
Tarvo Treier
source
IEEE Access
publisher
IEEE
journal volume number month
vol. 13
year of publication
2025
pages
p. 203429-203443 : ill
url
https://doi.org//10.1109/ACCESS.2025.3638663
subject term
e-hääletamine
valimised
turvalisus
vead
riskid
subject of location
Eesti (riik)
keyword
auditability
end-to-end verifiability
Estonian i-voting
fault seeding
independent verification and validation
mutation testing
safety-critical system
vote processing
ISSN
2169-3536
notes
Bibliogr.: 48 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
TalTech department
tarkvarateaduse instituut
language
inglise