Beyond the Happy Path : A Safety-Critical Audit Methodology for Estonia’s I-Voting Processing Application
autor
Treier, Tarvo
vastutusandmed
Tarvo Treier
allikas
IEEE Access
kirjastus/väljaandja
IEEE
ajakirja aastakäik number kuu
vol. 13
ilmumisaasta
2025
leheküljed
p. 203429-203443 : ill
leitav
https://doi.org//10.1109/ACCESS.2025.3638663
märksõna
e-hääletamine
valimised
turvalisus
vead
riskid
kohamärksõna
Eesti (riik)
võtmesõna
auditability
end-to-end verifiability
Estonian i-voting
fault seeding
independent verification and validation
mutation testing
safety-critical system
vote processing
ISSN
2169-3536
märkused
Bibliogr.: 48 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise