The following pages link to (Q4791832):
Displaying 9 items.
- Access control in mobile ambient calculi: a comparative view (Q930876) (← links)
- Role-based access control for boxed ambients (Q930879) (← links)
- Security boundaries in mobile ambients (Q1869979) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- The seal calculus (Q2566220) (← links)
- An overview of boxed ambients (abstract) (Q2841270) (← links)
- A type inference algorithm for secure ambients (Q2841272) (← links)
- Evaluating Security Policies in Pervasive Mobile Environments Using Context Information (Q3407292) (← links)
- Secure Data Flow in a Calculus for Context Awareness (Q3507380) (← links)