39 citations · 127 across the 31 of their papers we have counts for
6 papers · 1 filter
An Epistemic Foundation for Authentication Logics (Extended Abstract)
Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella
While there have been many attempts, going back to BAN logic, to base reasoning about security protocols on epistemic notions, they have not been all that successful. Arguably, thi…
Knowledge and Security
Riccardo Pucella
Epistemic concepts, and in some cases epistemic logic, have been used in security research to formalize security properties of systems. This survey illustrates some of these uses b…
Modeling Adversaries in a Logic for Security Protocol Analysis
Joseph Y. Halpern, Riccardo Pucella
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c…
TulaFale: A Security Tool for Web Services
Karthikeyan Bhargavan, Cedric Fournet, Andrew D. Gordon +1
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language for…
A Logic for Reasoning about Digital Rights
Riccardo Pucella, Vicky Weissman
We present a logic for reasoning about licenses, which are ``terms of use'' for digital resources. The logic provides a language for writing both properties of licenses and specifi…
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…