Formal specification of electronic ballot transmission protocol in the applied Pi-Calculus

Formal specification of electronic ballot transmission protocol in the applied Pi-Calculus

Bibliographic Details
Published in:Philippine computing journal 6, 1(My) (2011).
Main Author: Wuysang, Danny F.
Other Authors: Adorna, Henry N.
Format: Article
Language:English
Subjects:
ProVerif.
Electronic voting.
Crptographic protocols.
Online Access:Available also online. Click here to access