DepartmentofComputerScience: Difference between revisions
Created page with "Title: DepartmentofComputerScience Abstract: This research article explores the themes of recommendation and personalization in the context of information retrieval. It presents a thematic approach to studying these themes and discusses various systems and projects that implement the functions within these themes. The article also covers broadening aspects such as targeting, privacy and trust, and evaluation, and concludes with future directions and challenges. Main Re..." |
No edit summary |
||
(One intermediate revision by the same user not shown) | |||
Line 1: | Line 1: | ||
Title: 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 | |||
[[Category:Computer Science]] | |||
[[Category:Anonymity]] | |||
[[Category:Systems]] | |||
[[Category:About]] | |||
[[Category:Multi]] | |||
[[Category:Agent]] |
Latest revision as of 15:25, 24 December 2023
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