Safe Ambients: Control Flow Analysis and Security
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 199-214
- https://doi.org/10.1007/3-540-44464-5_15
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Shape analysis for mobile ambientsPublished by Association for Computing Machinery (ACM) ,2000
- Controlling interference in ambientsPublished by Association for Computing Machinery (ACM) ,2000
- Ambient Groups and Mobility TypesPublished by Springer Nature ,2000
- Principles of Program AnalysisPublished by Springer Nature ,1999
- Types for mobile ambientsPublished by Association for Computing Machinery (ACM) ,1999
- Mobility Types for Mobile AmbientsPublished by Springer Nature ,1999
- Validating Firewalls in Mobile AmbientsPublished by Springer Nature ,1999
- Mobile ambientsPublished by Springer Nature ,1998
- A calculus of mobile processes, IIInformation and Computation, 1992
- Systematic design of program analysis frameworksPublished by Association for Computing Machinery (ACM) ,1979