The following pages link to Steve Barker (Q1037611):
Displayed 14 items.
- A meta-model of access control in a fibred security language (Q1037612) (← links)
- Efficient and flexible access control via Jones-optimal logic program specialisation (Q2271897) (← links)
- (Q2765467) (← links)
- (Q2767149) (← links)
- The Scientific Contribution of Marek Sergot (Q2900467) (← links)
- Logical Approaches to Authorization Policies (Q2900486) (← links)
- (Q3375306) (← links)
- (Q4530847) (← links)
- (Q4782258) (← links)
- Protecting deductive databases from unauthorized retrieval and update requests (Q4788291) (← links)
- (Q4809155) (← links)
- (Q4817016) (← links)
- Logic Programming (Q5313207) (← links)
- Reasoning about delegation and revocation schemes in answer set programming (Q5406124) (← links)