Validating Firewalls in Mobile Ambients
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 463-477
- https://doi.org/10.1007/3-540-48320-9_32
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Principles of Program AnalysisPublished by Springer Nature ,1999
- Types for mobile ambientsPublished by Association for Computing Machinery (ACM) ,1999
- Static Analysis of Processes for No Read-Up and No Write-DownPublished by Springer Nature ,1999
- Mobile ambientsPublished by Springer Nature ,1998
- Control flow analysis for the π-calculusPublished by Springer Nature ,1998
- Secrecy by typing in security protocolsPublished by Springer Nature ,1997