Anonymity and information hiding in multiagent systems

Abstract
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal logic of knowledge within the context of the runs and systems framework,

This publication has 0 references indexed in Scilit: