Secure safe ambients
- 1 January 2001
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 36 (3) , 222-235
- https://doi.org/10.1145/360204.360223
Abstract
No abstract availableThis publication has 8 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
- 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
- Proof-carrying codePublished by Association for Computing Machinery (ACM) ,1997
- Fault Tolerant Operating SystemsACM Computing Surveys, 1976