45 search results - page 1 / 9 » Safety Analysis for the Extended Schematic Protection Model |
163
click to vote
SAFECOMP
2007
Springer
16 years 15 days ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
151
click to vote
TAMC
2009
Springer
16 years 28 days ago
2009
Springer
Computability concerns information with a causal – typically algorithmic – structure. As such, it provides a schematic analysis of many naturally occurring situations. We look ...
169
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
The usage control (UCON) model was introduced as a unified approach to capture a number of extensions for traditional access control models. While the policy specification flexibi...
168
click to vote
SAC
2005
ACM
15 years 12 months ago
2005
ACM
In traditional access control models like MAC, DAC, and RBAC, authorization decisions are determined according to identities of subjects and objects, which are authenticated by a ...