Sciweavers

498 search results - page 1 / 100
» A Formal Foundation for XrML
Sort
View
50
Voted
CSFW
2004
IEEE
15 years 1 months ago
A Formal Foundation for XrML
Joseph Y. Halpern, Vicky Weissman
PET
2004
Springer
15 years 3 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
15 years 10 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
14 years 4 months ago
Foundations of Attack-Defense Trees
We introduce and give formal definitions of attack
Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patr...