4212 search results - page 756 / 843 » Rights Expression Languages |
152
click to vote
B
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
164
click to vote
BTW
2007
Springer
15 years 9 months ago
2007
Springer
: Relational database systems are highly efficient hosts to table-shaped data. It is all the more interesting to see how a careful inspection of both, the XML tree structure as wel...
157
click to vote
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...
144
click to vote
DIM
2007
ACM
15 years 9 months ago
2007
ACM
In a history-based trust-management system, users and service providers use information about past transactions to make trust-based decisions concerning current transactions. One ...
149
click to vote
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We study the decidability and complexity of verification problems for timed automata over time intervals of fixed, bounded length. One of our main results is that time-bo...