Protected und Trusted Code

Sicherheitsannahmen werden an den folgenden Stellen getroffen:

Zusätzlich kann die Variable __allow_access_to_unprotected_subjects__ einer Klasse hinzugefügt werden um zu bestimmen, wie sich Attribute, die ihrerseits nicht durch Security-Annahmen geschützt sind, verhalten sollen.