Logic of secrets in collaboration networks


The article proposes Logic of Secrets in Collaboration Networks, a formal logical system for reasoning about a set of secrets established over a fixed configuration of communication channels. The system’s key feature, a multi-channel relation called independence, is a generalization of a two-channel relation known in the literature as nondeducibility. The… (More)
DOI: 10.1016/j.apal.2011.06.001


2 Figures and Tables