On compositional reasoning about anonymity and privacy in epistemic logic

DOI10.1007/S10472-016-9516-8zbMath1403.03051OpenAlexW2461780908MaRDI 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

probabilitycompositionalityprivacyepistemic logicanonymitymultiagent systemmodular reasoning

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30)

Related Items (2)

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

This page was built for publication: On compositional reasoning about anonymity and privacy in epistemic logic