Role Interchange for Anonymity and Privacy of Voting
From MaRDI portal
Publication:3069729
DOI10.1093/logcom/exq013zbMath1213.68639OpenAlexW2046789955MaRDI QIDQ3069729
Yoshinobu Kawabe, Hideki Sakurada, Yasuyuki Tsukada, Ken Mano
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
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)
Related Items
Trace Equivalence and Epistemic Logic to Express Security Properties, On compositional reasoning about anonymity and privacy in epistemic logic