Sciweavers

223 search results - page 25 / 45
» Relationship-based access control: protection model and poli...
Sort
View
ESOP
2004
Springer
14 years 2 months ago
A Dependently Typed Ambient Calculus
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
Cédric Lhoussaine, Vladimiro Sassone
SACMAT
2010
ACM
14 years 1 months ago
Monitoring security policies with metric first-order temporal logic
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
David A. Basin, Felix Klaedtke, Samuel Müller
SACMAT
2003
ACM
14 years 2 months ago
PBDM: a flexible delegation model in RBAC
Role-based access control (RBAC) is recognized as an efficient access control model for large organizations. Most organizations have some business rules related to access control...
Xinwen Zhang, Sejong Oh, Ravi S. Sandhu
LREC
2010
143views Education» more  LREC 2010»
13 years 10 months ago
Language Service Management with the Language Grid
As the number of language resources accessible on the Internet increases, many efforts have been made for combining language resources and language processing tools to create new ...
Yohei Murakami, Donghui Lin, Masahiro Tanaka, Taka...
SACMAT
2011
ACM
12 years 11 months ago
xDAuth: a scalable and lightweight framework for cross domain access control and delegation
Cross domain resource sharing and collaborations have become pervasive in today’s service oriented organizations. Existing approaches for the realization of cross domain access ...
Masoom Alam, Xinwen Zhang, Kamran Khan, Gohar Ali