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