Verification of Verifiability of Voting Protocols by Strand Space Analysis
Verification of Verifiability of Voting Protocols by Strand Space Analysis
复制标题
通过链空间分析验证投票协议的可验证性
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Naoki Yonezaki
中科院分区：
文献类型：
--
作者：
Shigeki Hagihara;Masaya Shimakawa;Naoki Yonezaki
登录
查看更多内容
计算、意义和逻辑：献给戈登·普洛特金的文章
影响因子：
0.5
作者：
G. Plotkin
通讯作者：
G. Plotkin
用于分析拒绝服务攻击抵抗力的成本估算计算
DOI：
10.1007/978-3-540-37621-7_2
发表时间：
2003
期刊：
--
影响因子：
--
作者：
Daigo Tomioka;S. Nishizaki;R. Ikeda
通讯作者：
R. Ikeda
DOI：
10.1007/3-540-36532-x_19
发表时间：
2002
期刊：
--
影响因子：
--
作者：
M. Hagiya;Ryo Takemura;Koichi Takahashi;Takamichi Saito
通讯作者：
Takamichi Saito
使用链空间模型分析电子投票协议
DOI：
--
发表时间：
2014
期刊：
International Conference on Application and Theory of Automation in Command and Control Systems
影响因子：
--
作者：
V. Sureshkumar;A. Ramalingam
通讯作者：
A. Ramalingam