AbstractThe 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 main result is the completeness of the proposed system with respect to a semantics of secrets
Abstract. Secrecy and authenticity properties of protocols are mutu-ally dependent: every authentica...
In the context of multi-agent hypothetical reasoning, agents typically have partial knowledge about ...
Communication is one of the most notable processes in a multi-agent system. For this reason, conside...
AbstractThe article proposes Logic of Secrets in Collaboration Networks, a formal logical system for...
Abstract. A collaboration network is a graph formed by communica-tion channels between parties. Part...
The article considers interdependencies between secrets in a multiparty system. Each secret is assum...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
Gossip protocols are programs used in a setting in which each agent holds a secret and the aim is to...
We initiate a program to develop a principled the-ory of secure systems. Our main technical result i...
A number of researchers have proposed various tools for checking security protocols. Most of these t...
A mutual dependence expression is established for the secret key agreement problem when all users ar...
We initiate a program to develop a principled theory of secure systems. Our main technical result is...
Kevin O'Neill's Ph.D. DissertationWhen building systems that guarantee confidentiality, system desig...
Secret Sharing is a fundamental notion for secure cryptographic design. In a Secret Sharing protocol...
Securing communication in large scale distributed systems is an open problem. When multiple principa...
Abstract. Secrecy and authenticity properties of protocols are mutu-ally dependent: every authentica...
In the context of multi-agent hypothetical reasoning, agents typically have partial knowledge about ...
Communication is one of the most notable processes in a multi-agent system. For this reason, conside...
AbstractThe article proposes Logic of Secrets in Collaboration Networks, a formal logical system for...
Abstract. A collaboration network is a graph formed by communica-tion channels between parties. Part...
The article considers interdependencies between secrets in a multiparty system. Each secret is assum...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
Gossip protocols are programs used in a setting in which each agent holds a secret and the aim is to...
We initiate a program to develop a principled the-ory of secure systems. Our main technical result i...
A number of researchers have proposed various tools for checking security protocols. Most of these t...
A mutual dependence expression is established for the secret key agreement problem when all users ar...
We initiate a program to develop a principled theory of secure systems. Our main technical result is...
Kevin O'Neill's Ph.D. DissertationWhen building systems that guarantee confidentiality, system desig...
Secret Sharing is a fundamental notion for secure cryptographic design. In a Secret Sharing protocol...
Securing communication in large scale distributed systems is an open problem. When multiple principa...
Abstract. Secrecy and authenticity properties of protocols are mutu-ally dependent: every authentica...
In the context of multi-agent hypothetical reasoning, agents typically have partial knowledge about ...
Communication is one of the most notable processes in a multi-agent system. For this reason, conside...
DOI
Add to ORKG