1. D. Bell, L. La Padula, Secure computer systems: Mathematical foundations and model, Technical Report MTR 2547 v2, Mitre Corp., 1973
2. K. Biba, Integrity considerations for secure computer systems, Technical Report 76-371, US Air Force Electronic Systems Division, 1977
3. Boxed ambients with communication interfaces;Bonelli,2004
4. Boxed Ambients;Bugliesi,2001
5. Reasoning about security in mobile ambients;Bugliesi,2001