- I metodi public static SecurityManager getSecurityManager() e
public static void setSecurityManager(SecurityManager s) consentono di conoscere
o impostare il gestore della sicurezza.
- Il gestore della sicurezza decide se alcune operazioni, come richiedere il nome dell'utente,
leggere e scrivere file sulla macchina o connettersi alla rete sono lecite o meno
- Per evitare abusi, una volta impostato un gestore della sicurezza non può più essere
modificato, quindi se il sistema ne installa uno, le applicazioni si dovranno attenere ai suoi limiti
- Per finire, il metodo public static void gc() consente di forzare la garbage
collection a nostro piacimento
|
