首页> 外文OA文献 >Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus

【2h】

Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus

机译：应用pi-Calculus中远程电子投票协议的自动验证

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Backes M.; Hritcu C.; Maffei M.;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Automated Proof of Resistance of Denial of Service Attacks in Remote Internet Voting Protocol with Extended Applied Pi Calculus [J] . Wei Huang, Bo Meng Information Technology Journal . 2011,第8期

机译：具有扩展应用Pi演算的远程Internet投票协议中的拒绝服务攻击抵抗力的自动证明
2. Automated Proof of Resistance of Denial of Service Attacks in Remote Internet Voting Protocol with Extended Applied Pi Calculus [J] . Wei Huang, Bo Meng Information Technology Journal . 2011,第8期

机译：具有扩展应用Pi演算的远程Internet投票协议中的拒绝服务攻击抵抗力的自动证明
3. Formal Verification of Secrecy, Coercion Resistance and Verifiability Properties for a Remote Electronic Voting Protocol [J] . Khaoula Marzouki, Amira Radhouani, Narjes Ben Rajeb International journal of information security and privacy . 2013,第2期

机译：远程电子投票协议的保密性，抗胁迫性和可验证性的形式验证
4. Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus [C] . Michael Backes, Catalin Hritcu, Matteo Maffei IEEE Computer Security Foundations Symposium . 2008

机译：应用PI-COMPULUS中远程电子投票协议的自动验证
5. Specification and semi-automated verification of coordination protocols for collaborative software systems [D] . Navon, Jaime C. 2005

机译：协作软件系统的协调协议的规范和半自动验证
6. Feasibility of a remote automated daily delivery verification of volumetric‐modulated arc therapy treatments using a commercial record and verify system [O] . Jonas D. Fontenot 2012

机译：使用商业记录和验证系统进行容积调制电弧疗法治疗的远程自动每日交付验证的可行性
7. Automated verification of remote electronic voting protocols in the applied pi-calculus [O] . Michael Backes, Matteo Maffei 2015

机译：在应用的pi演算中自动验证远程电子投票协议

Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus

著录项

引文网络

相似文献

相关主题

期刊订阅