872 search results - page 37 / 175 » An Access Control Language for a General Provenance Model |
ECIS
2000
13 years 9 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 ...
SPIN
1999
Springer
13 years 12 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...
ENTCS
2007
13 years 7 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...
MMMACNS
2010
Springer
13 years 6 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...
KI
2007
Springer
14 years 1 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...