Amanote Research
Register
Sign In
Refinement of Mechanized Proof of Security Properties of Remote Internet Voting Protocol in Applied PI Calculus With Proverif
Information Technology Journal
doi 10.3923/itj.2011.293.334
Full Text
Open PDF
Abstract
Available in
full text
Date
February 1, 2011
Authors
Bo Meng
Publisher
Science Alert
Related search
The Applied Pi Calculus
Journal of the ACM
Control
Systems Engineering
Information Systems
Hardware
Architecture
Artificial Intelligence
Software
Analyzing Internet Voting Security
Communications of the ACM
Computer Science
Mechanized Refinement of Communication Models With TLA $$^+$$ +
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Security Considerations for Remote Electronic Voting
Communications of the ACM
Computer Science
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Remote Internet Voting: Developing a Secure and Efficient Frontend
CSI Transactions on ICT
Pi+-Calculus: A Calculus for Concurrent Processes With Constraints
CLEI Electronic Journal
Security Architecture for the Internet Protocol
Cryptanalysis and Security Enhancement on the Generation of Mu-Varadharajan Electronic Voting Protocol
International Journal of Electronic Governance
Computer Science Applications
Sociology
Public Administration
Political Science
