DepartmentofComputerScience

Title: DepartmentofComputerScience

Research Question: How can we formalize and reason about anonymity in multi-agent systems?

Methodology: The authors use the modal logic of knowledge in the context of multi-agent systems, building upon their earlier work on secrecy. They define several types of anonymity with respect to agents, actions, and observers, and relate these definitions to other concepts of information hiding.

Results: The authors provide probabilistic definitions of anonymity that allow for quantifying an observer's uncertainty about the system's state. They also relate their definitions of anonymity to other formalizations, such as those in process algebra and information hiding using function views.

Implications: This work provides a formal framework for reasoning about anonymity in multi-agent systems, which is crucial for ensuring privacy and security in network communications. The framework can be used to analyze and compare the anonymity provided by different systems, and to develop new techniques for maintaining anonymity in complex systems.

Link to Article: https://arxiv.org/abs/0402042v2 Authors: arXiv ID: 0402042v2