An Extension of CryptoPAi to the Formal Analysis of E-voting Protocols
1. An Extension of CryptoPAi to the Formal Analysis of E-voting Protocols

Hamid Reza Mahrooghi; Rasool Jalili

Volume 6, Issue 1 , Winter and Spring 2019, , Pages 25-42

http://dx.doi.org/10.22108/jcs.2019.113429.1011

Abstract
  CryptoPAi is a hybrid operational-epistemic framework for specification and analysis of security protocols with genuine support for cryptographic constructs. This framework includes ...  Read More