39 citations · 127 across the 31 of their papers we have counts for
Showing 2004 · cs.CRShow all
2 papers · 2 filters
cs.CR2004★ 3 cited
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…
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…