谷歌浏览器插件

订阅小程序

在清言上使用

立即登录

学术主页个人账号

我的关注论文收藏浏览历史

Verifying System-Level Security of a Smart Ballot Box

Dana Dghaym,Thai Son Hoang,Michael Butler,Runshan Hu,Leonardo Aniello,Vladimiro Sassone

springer

引用 4|浏览0

暂无评分

关键词

Event-B,Availability property,System security,Refinement,Voting system

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要