[ad_1]
Da Wikipedia, l’enciclopedia libera
UN stato sicuro è un sistemi informativi sicurezza termine per descrivere dove le entità in a sistema informatico sono divisi in soggetti e oggetti, e può essere formalmente dimostrato che ogni transizione di stato preserva la sicurezza passando da uno stato sicuro a un altro stato sicuro. Quindi può essere induttivamente dimostrato che il sistema è sicuro. Come definito nel Modello Bell-LaPadulalo Stato sicuro si fonda sul concetto di a macchina statale con un insieme di stati ammissibili in un sistema. La transizione da uno stato a un altro è definita da funzioni di transizione.
Uno stato del sistema è definito “sicuro” se le uniche modalità di accesso consentite dei soggetti agli oggetti sono conformi a a politica di sicurezza.
- Fisch, Eric A.; Bianco, Gregory B. (2000), Computer e reti sicuri: analisi, progettazione e implementazioneBoca Raton: CRC Press, pp. 39–42, ISBN 9780849318689, OCLC 849972357recuperato 13 marzo 2018
[ad_2]
Source link
