@ kernel/security/security.php: doced