183 search results - page 8 / 37 » Safety analysis of usage control authorization models |
TLCA
2005
Springer
14 years 2 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
TGC
2007
Springer
14 years 2 months ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
ESORICS
1994
Springer
14 years 22 days ago
1994
Springer
The Transformation Model TRM was recently introduced 10 in the literature by Sandhu and Ganta. TRM is based on the concept of transformation of rights. The propagation of access ri...
ENVSOFT
2011
13 years 3 months ago
2011
Jet fans are applied for control of air flow and support of pollutant dispersal in large enclosures. In The Netherlands, application is well known for car parks as part of the fir...
TACAS
1999
Springer
14 years 27 days ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...