accountability (including auditability); applied modal logic; formal requirements engineering; real-timed distributed and multi-agent systems; remote and/or ballot-box electronic voting (including electronic elections); trustworthy;
机译:完整性:端对端选民可验证的光学扫描投票
机译:分布式,端到端可验证且保护隐私的互联网投票系统
机译:从理论到实践的投票系统端到端验证
机译:一个模块化的多模态规范的实时,端到端选民可验证的投票系统
机译:工程实用的端到端可验证投票系统。
机译:Hahn-PCNN-CNN:用于临床诊断的端到端多模态脑医学图像融合框架
机译:在可通过选民验证的投票系统中获得保证