Un processo di verifica che un intervallo di indirizzi di memoria è nello spazio di indirizzi in modalità utente e che l'intervallo può essere letto o scritto nel contesto del processo corrente.