Deciding Knowledge in Security Protocols Under Some E-Voting Theories

RAIRO - Theoretical Informatics and Applications - France
doi 10.1051/ita/2011119
Full Text
Abstract

Available in full text

Date
Authors
Publisher

EDP Sciences