Організація надійних обчислень (неможливості впливу процесу на перебіг інших), основана на розмежуванні доступу до ресурсів. Взаємодія між процесами: обмін даними, синхронізація. Захист самої системи, а також даних користувача і програм від дій користувача або інших програм.