Role interchange for anonymity and privacy of voting

DOI10.1093/LOGCOM/EXQ013zbMATH Open1213.68639OpenAlexW2046789955MaRDI QIDQ3069729FDOQ3069729

Authors: Ken Mano, Yoshinobu Kawabe, Hideki Sakurada, Yasuyuki Tsukada 

Publication date: 19 January 2011

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exq013

Recommendations

• Automatic verification of anonymity of protocols
• When are three voters enough for privacy properties?
• On some incompatible properties of voting schemes
• scientific article; zbMATH DE number 2044526
• One vote is enough for analysing privacy

zbMATH Keywords

multi-agent systemepistemic logicformal verificationprivacyanonymity

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Cited In (3)

• Trace equivalence and epistemic logic to express security properties
• Automatic verification of anonymity of protocols
• On compositional reasoning about anonymity and privacy in epistemic logic

This page was built for publication: Role interchange for anonymity and privacy of voting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3069729)