Role interchange for anonymity and privacy of voting

DOI10.1093/LOGCOM/EXQ013MaRDI QIDQ3069729zbMATH OpenOpenAlexFDO

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

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)

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

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)