A model of protection mechanisms in computing systems is presented and its appropriateness is demonstrated. The "safety" problem for protection systems under our model is to determine in a given situation whether a subject can acquire a particular right to an object. In restricted cases, one can show 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, one cannot decide if a situation is safe. Various implications of this fact are discussed.
提出了一种计算机系统保护机制的模型,并证明了其适用性。在我们的模型下,保护系统的“安全”问题是在给定情况下确定主体是否可以获得对客体的特定权利。在有限的情况下,可以证明此问题是可以确定的,即存在一种确定特定配置的系统是否安全的算法。通常,在令人惊讶的微弱假设下,人们无法确定情况是否安全。讨论了这个事实的各种含义。 P>
机译:在CTEEP的Embu-Gua?§u变电站中实施基于过程总线的馈线保护和测量系统,以作为备用保护
机译:操作系统中的时间保护和说话人合法性检测
机译:操作系统和扬声器合法性检测的时间保护
机译:Linux操作系统下Wi-Fi无线网络的攻击和防护系统分析
机译:基于语言的系统的操作系统风格的保护。
机译:手术室空调和通风系统的设计和维护(工程和卫生部门报告):医院维护工程师报告的手术室空调和通风系统的设计和维护
机译:用于前向作战基地保护的智能前向作战基地监视系统的系统工程设计
机译:用于正向运行基地保护的智能前方操作基站监控系统的系统工程设计。