37 citations · 152 across the 17 of their papers we have counts for
5 papers · 1 filter
Anonymity and Information Hiding in Multiagent Systems
Joseph Y. Halpern, Kevin R. O'Neill
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 lo…
Secrecy in Multiagent Systems
Kevin R. O'Neill, Joseph Y. Halpern
We introduce a general framework for reasoning about secrecy and privacy requirements in multiagent systems. Our definitions extend earlier definitions of secrecy and nondeducibili…
On the Relationship between Strand Spaces and Multi-Agent Systems
Joseph Y. Halpern, Riccardo Pucella
Strand spaces are a popular framework for the analysis of security protocols. Strand spaces have some similarities to a formalism used successfully to model protocols for distribut…
A logical reconstruction of SPKI
Joseph Y. Halpern, Ron van der Meyden
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previously int…
A Logic for SDSI's Linked Local Name Spaces
Joseph Y. Halpern, Ron van der Meyden
Abadi has introduced a logic to explicate the meaning of local names in SDSI, the Simple Distributed Security Infrastructure proposed by Rivest and Lampson. Abadi's logic does not…