On compositional reasoning about anonymity and privacy in epistemic logic
DOI10.1007/s10472-016-9516-8zbMath1403.03051MaRDI QIDQ504214
Ken Mano, Yasuyuki Tsukada, Hideki Sakurada, Yoshifumi Manabe
Publication date: 25 January 2017
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-016-9516-8
probability; compositionality; privacy; epistemic logic; anonymity; multiagent system; modular reasoning
68P25: Data encryption (aspects in computer science)
03B42: Logics of knowledge and belief (including belief change)
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
68P30: Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On compositional reasoning about anonymity and privacy in epistemic logic
- Theorem-proving anonymity of infinite-state systems
- Probabilistic anonymity via coalgebraic simulations
- Role Interchange for Anonymity and Privacy of Voting
- Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster
- Knowledge, probability, and adversaries
- A practical secret voting scheme for large scale elections
- k-ANONYMITY: A MODEL FOR PROTECTING PRIVACY
- CSP and anonymity