On compositional reasoning about anonymity and privacy in epistemic logic.
Yasuyuki TsukadaHideki SakuradaKen ManoYoshifumi ManabePublished in: Ann. Math. Artif. Intell. (2016)
Keyphrases
- epistemic logic
- location privacy
- privacy protection
- data publishing
- model checking
- individual privacy
- modal logic
- privacy preserving
- multi agent systems
- privacy issues
- logical framework
- trusted third party
- inference rules
- dynamic epistemic logic
- privacy preservation
- personal information
- formal semantics
- private information
- multi faceted
- sensitive information
- data protection
- computation tree logic
- rfid systems
- information loss
- temporal logic
- sensitive attributes
- differential privacy
- privacy concerns
- model checker
- mathematical theory