948 search results - page 137 / 190 » Analysis of SITA policies |
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
A key assignment scheme is a cryptographic technique for implementing an information flow policy, sometimes known as hierarchical access control. All the research to date on key ...
VLDB
2004
ACM
15 years 5 months ago
2004
ACM
We introduce an auditing framework for determining whether a database system is adhering to its data disclosure policies. Users formulate audit expressions to specify the (sensiti...
111
click to vote
ECOOPW
1998
Springer
15 years 4 months ago
1998
Springer
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...
PODC
1994
ACM
15 years 4 months ago
1994
ACM
In this paper, we investigate the practical performance of lock-free techniques that provide synchronization on shared-memory multiprocessors. Our goal is to provide a technique t...
119
click to vote
ER
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...