Deciding Knowledge in Security Protocols Under Some E-Voting Theories
RAIRO - Theoretical Informatics and Applications - France
doi 10.1051/ita/2011119
Full Text
Open PDFAbstract
Available in full text
Date
July 1, 2011
Authors
Publisher
EDP Sciences