Attualmente sto studiando entrambi i modelli Bell-LaPadula e Biba, ho trovato questi modelli troppo teorici come vedo gli esempi e posso vedere che ci sono utilizzati per progettare servizi particolari che richiedono un particolare design di sicurezza che può essere raggiunto con Bell- Modello LaPadula o Biba. Tuttavia, non riesco a vedere che questi modelli siano adatti per i sistemi operativi, ad esempio, in quanto in generale possiamo leggere e scrivere file. O forse, un altro esempio come un professore che ha un livello "Expert {Science}" e vuole leggere e modificare gli esami degli studenti che hanno "Student {Science}"
Quindi, i modelli Bell-LaPadula e Biba sono utilizzati nella progettazione della sicurezza di un vero software? O è per caratteristiche speciali? Quindi, in quest'ultimo caso, i sistemi operativi come Unix implementano altri modelli che potrebbero avere caratteristiche implementate con modelli come Bell-LaPadula o Biba.