The following pages link to Protection in operating systems (Q4092978):
Displayed 16 items.
- 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)
- On complexity of grammars related to the safety problem (Q2465626) (← 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)