1171 search results - page 130 / 235 » A Logical Language for Expressing Authorizations |
177
click to vote
TISSEC
2010
15 years 1 months ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
179
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...
176
click to vote
LOBJET
2006
15 years 6 months ago
2006
ABSTRACT. Aspect-orientation promises better modularity than pure object-oriented decomposition. A typical benefit of increased modularity is ease of maintenance, evolution and reu...
171
click to vote
POLICY
2007
Springer
16 years 15 days ago
2007
Springer
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
168
click to vote
APLAS
2006
ACM
16 years 11 days ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...