Control Flow Analysis of Mobile Ambients with Security Boundaries
- 1 January 2002
- book chapter
- Published by Springer Nature
- p. 197-212
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Information flow analysis in a discrete-time process algebra2002
- Secure safe ambients2001
- Safe Ambients: Control Flow Analysis and Security2000
- Static Analysis of Processes for No Read-Up and No Write-Down1999
- Mobile ambients1998
- A Classification of Security Properties for Process Algebras1Journal of Computer Security, 1995