Dies ist eine Übersichtsseite mit Metadaten zu dieser wissenschaftlichen Arbeit. Der vollständige Artikel ist beim Verlag verfügbar.
Protection in operating systems
1.034
Zitationen
3
Autoren
1976
Jahr
Abstract
A model of protection mechanisms in computing systems is presented and its appropriateness is argued. The “safety” problem for protection systems under this model is to determine in a given situation whether a subject can acquire a particular right to an object. In restricted cases, it can be shown that this problem is decidable, i.e. there is an algorithm to determine whether a system in a particular configuration is safe. In general, and under surprisingly weak assumptions, it cannot be decided if a situation is safe. Various implications of this fact are discussed.
Ähnliche Arbeiten
PRISM 4.0: Verification of Probabilistic Real-Time Systems
2011 · 2.310 Zit.
IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview
1999 · 1.577 Zit.
Model-checking algorithms for continuous-time markov chains
2003 · 769 Zit.
Business Process Management Workshops
2008 · 762 Zit.
Automotive Control Systems
2005 · 758 Zit.