872 search results - page 37 / 175 » An Access Control Language for a General Provenance Model |
152
click to vote
ECIS
2000
15 years 5 months ago
2000
The concept of context-dependent access control has emerged during the last years: Information about the state of a process model of a working environment is combined with general ...
127
click to vote
SPIN
1999
Springer
15 years 8 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
139
Voted
ENTCS
2007
15 years 4 months ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
137
click to vote
MMMACNS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. To share information and retain control (share-but-protect) is a classic cyber security problem for which effective solutions continue to be elusive. Where the patterns o...
124
click to vote
KI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...