scholarly journals Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol

2008 ◽  
Author(s):  
Michael Backes ◽  
Matteo Maffei ◽  
Dominique Unruh
Keyword(s):  
Automated Verification ◽  
Zero Knowledge ◽  
Direct Anonymous Attestation ◽  
Pi Calculus

Formal Verification of Secrecy, Coercion Resistance and Verifiability Properties for a Remote Electronic Voting Protocol

2013 ◽  
Vol 7 (2) ◽  
pp. 57-85
Author(s):  
Khaoula Marzouki ◽  
Amira Radhouani ◽  
Narjes Ben Rajeb
Keyword(s):  
Formal Verification ◽  
Electronic Voting ◽  
Automated Verification ◽  
Verification Tool ◽  
Verification Methods ◽  
Pi Calculus ◽  
Security Properties

Electronic voting protocols have many advantages over traditional voting but they are complex and subject to many kinds of attacks. Therefore, the use of formal verification methods is crucial to ensure some security properties. We propose to model a recent protocol of remote electronic voting in the applied Pi-calculus. We focalized on some security properties such as fairness which expresses the impossibility of obtaining partial results, eligibility which requires that only legitimate voters can vote, coercion resistance which ensures that no voter may vote under pressure, and verifiability which supposes that anyone can verify the accuracy of the final result. We proved either manually or using the automated verification tool ProVerif that the protocol satisfies these security properties.

k-Choice Nets and Expressiveness of the Pi Calculus

2014 ◽  
Vol 36 (6) ◽  
pp. 1261-1266
Author(s):  
Xiang-Ning LI ◽  
Ke-Gang HAO ◽  
Xiao-Qun GUO
Keyword(s):  
Pi Calculus

A Direct Anonymous Attestation Scheme in Multi-Domain Environment

2009 ◽  
Vol 31 (7) ◽  
pp. 1122-1130 ◽  
Author(s):  
Xiao-Feng CHEN ◽  
Deng-Guo FENG
Keyword(s):  
Direct Anonymous Attestation
Sign in / Sign up

Export Citation Format

Share Document