Sciweavers

498 search results - page 1 / 100
» A Formal Foundation for XrML
Sort
View
CSFW
2004
IEEE
13 years 8 months ago
A Formal Foundation for XrML
Joseph Y. Halpern, Vicky Weissman
PET
2004
Springer
13 years 10 months ago
A Formal Privacy System and Its Application to Location Based Services
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
Carl A. Gunter, Michael J. May, Stuart G. Stubbleb...
WWW
2004
ACM
14 years 5 months ago
OREL: an ontology-based rights expression language
This paper proposes an Ontology-based Rights Expression Language, called OREL. Based on OWL Web Ontology Language, OREL allows not only users but also machines to handle digital r...
Yuzhong Qu, Xiang Zhang, Huiying Li
IFIP
2010
Springer
12 years 11 months ago
Foundations of Attack-Defense Trees
We introduce and give formal definitions of attack
Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patr...