C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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