Güvenli İşletim Sistemi
Bilgisayarda, işlenen verilerin gereksindiği güvenlik sınıfına ve kritikliğine uyumlu olacak şekilde özellikler taşıyan işletim sistemi yazılımı.
Diğer terimler: dolaşım sistemi, sicheres Betriebssystem, secure operating system, système d’exploitation sécurisé, Athous edirnensis