Dans Java chaque instruction doit suivre un certain nombre de règles strictes pour être considérée comme légale. Si un programme est constitué d'une succession d'instructions légales, alors il ne mettra pas en danger la sécurité du système.
