3009 search results - page 143 / 602 » The Expressive Rate of Constraints |
82
Voted
ACSW
2004
15 years 2 months ago
2004
We present a detailed examination of the access constraints for a small real-world Health Information System with the aim of achieving minimal access rights for each of the involv...
IEE
1998
15 years 13 days ago
1998
In recent years a number of OO methods have been enhanced with textual, mathematical languages for specifying invariants and action contracts (pre and post conditions). This paper ...
102
click to vote
DLOG
2009
15 years 1 months ago
2009
Abstract. We present a family of expressive extensions of Datalog, called Datalog
80
Voted
SACMAT
2003
ACM
15 years 6 months ago
2003
ACM
A Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC�...
103
Voted
ISSTA
2004
ACM
15 years 6 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...