The following pages link to Protection in operating systems (Q4092978):
Displayed 26 items.
- Dynamic role authorization in multiparty conversations (Q315294) (← links)
- A novel logic-based automatic approach to constructing compliant security policies (Q439715) (← links)
- Policy analysis for administrative role-based access control (Q655414) (← links)
- Nivat's processing systems: decision problems related to protection and synchronization (Q761796) (← links)
- Statistical anomaly detection via httpd data analysis (Q956814) (← links)
- A meta-model of access control in a fibred security language (Q1037612) (← links)
- Creation and reflexive rights in grammatical protection systems (Q1066667) (← links)
- A new method for the detection of protection faults in capability-based protection systems (Q1136495) (← links)
- Theft and conspiracy in the Take-Grant protection model (Q1168082) (← links)
- Undecidability of safety for the schematic protection model with cyclic creates (Q1185248) (← links)
- Controlling file access with types (Q1744439) (← links)
- Information flow control in software DB units based on formal verification (Q2172738) (← links)
- Bounded memory protocols (Q2339157) (← links)
- On complexity of grammars related to the safety problem (Q2465626) (← links)
- High Level Conflict Management Strategies in Advanced Access Control Models (Q2866723) (← links)
- Component-Based Security Policy Design with Colored Petri Nets (Q3184744) (← links)
- Logic in Access Control (Tutorial Notes) (Q3184786) (← links)
- Safety in grammatical protection systems (Q3319763) (← links)
- Leftist Grammars Are Non-primitive Recursive (Q3520303) (← links)
- Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic (Q3522043) (← links)
- A Logical Approach to Dynamic Role-Based Access Control (Q3534661) (← links)
- (Q4790905) (← links)
- Graph Transformations for the Specification of Access Control Policies (Q4923543) (← links)
- Decidability of Safety in Graph-Based Models for Access Control (Q5030182) (← links)
- On the Decidability of the Safety Problem for Access Control Policies (Q5178997) (← links)
- Safety Analysis of the Dynamic-Typed Access Matrix Model (Q5862298) (← links)