Comparison
Security model
- Java: trusted libraries (security monitor) check that scope rules are not violated
- Limbo: resources are available as files that can be accessed via “secure” modules
- O’Caml: safe libraries
- Obliq: language constructs
- Safe-Tcl: restricted functionality