Formal specification of electronic ballot transmission protocol in the applied Pi-Calculus - Wuysang, Danny F.; Adorna, Henry N.
Keywords: ProVerif; Electronic voting; Crptographic protocols