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

zbMATH Keywords

probability; compositionality; privacy; epistemic logic; anonymity; multiagent system; modular reasoning

Mathematics Subject Classification ID

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

Trace Equivalence and Epistemic Logic to Express Security Properties, On compositional reasoning about anonymity and privacy in epistemic logic

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