Secure Safe Ambients

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2001, Pages 222-235

  Bugliesi, Michele ^a   Castagna, Giuseppe ^b  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^b CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA PRIVACY; JAVA PROGRAMMING LANGUAGE; OPEN SYSTEMS;

MOBILE AMBIENTS; SECURE SAFE AMBIENTS;

SECURITY OF DATA;

EID: 0035035505     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/360204.360223     Document Type: Conference Paper

References (15)

1. The chinese wall security policy
2. Static analysis of processes for no read-up and no write-down
3. Mobility types for mobile ambients
4. Ambient groups and mobility types
5. Mobile ambients
6. Types for mobile ambients
7. Fault tolerant operating systems
8. Controlling interference in ambients
9. Proof carrying code
10. Validating firewalls in mobile ambients
11. Shape analysis for mobile ambients
12. Secure composition of untrusted code: Wrappers and causality types
13. Seal: A framework for secure mobile computations