Domain Proteksi
Matriks
1
Mekanisme Proteksi (2/3)
3
Sistem Terpercaya
(Trusted Computing Base)
Reference monitor
4
Model Formal Keamanan Sistem
2. Integrity * property
• Proses dapat membaca
hanya objek dengan
tingkatkeamana tinggi