Login / Signup
Automatic Verification of Security Properties in Remote Internet Voting Protocol with Applied Pi Calculus.
Bo Meng
Wei Huang
Zimao Li
Dejun Wang
Published in:
J. Digit. Content Technol. its Appl. (2010)
Keyphrases
</>
security properties
security protocols
formal model
security analysis
real time
cryptographic protocols
internet voting
data mining
lightweight
data sharing
diffie hellman