Analysis of Electronic Voting Protocol Using Strand Space Model

Venkatasamy Sureshkumar, Ramalingam Anitha. Analysis of Electronic Voting Protocol Using Strand Space Model. In Gregorio Martínez Pérez, Sabu M. Thampi, Ryan K. L. Ko, Lei Shu, editors, Recent Trends in Computer Networks and Distributed Systems Security - Second International Conference, SNDS 2014, Trivandrum, India, March 13-14, 2014, Proceedings. Volume 420 of Communications in Computer and Information Science, pages 416-427, Springer, 2014. [doi]

Abstract

Abstract is missing.