39 citations · 127 across the 31 of their papers we have counts for
Showing 2006Show all
2 papers · 1 filter
cs.CR2006★ 11 cited
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…
cs.LO2006★ 34 cited
A Formal Foundation for ODRL
Riccardo Pucella, Vicky Weissman
ODRL is a popular XML-based language for stating the conditions under which resources can be accessed legitimately. The language is described in English and, as a result, agreement…