5 citations · 12 across the 14 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2004
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…
cs.CR2003
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…