2496 search results - page 426 / 500 » Error-detecting properties of languages |
125
click to vote
COMPSAC
2007
IEEE
15 years 5 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...
115
click to vote
DIM
2007
ACM
15 years 5 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 ...
153
click to vote
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
110
click to vote
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
123
Voted
ADC
2004
Springer
15 years 5 months ago
2004
Springer
In the last few years an interest in native XML databases has surfaced. With other authors we argue that such databases need their own provisions for concurrency control since tra...