Modello Clark-Wilson: differenze tra le versioni

Versione delle 00:25, 20 feb 2009

Versione attuale delle 19:25, 9 nov 2016

(10 versioni intermedie di 10 utenti non mostrate)

Riga 1:

{{F|terminologia informatica|febbraio 2013}}

Il '''modello Clark-Wilson''' venne sviluppato nel [[1987]] da due studiosi: [[David D. Clark]] e [[David R. Wilson]]. Questo modello rappresenta un'alternativa al [[Modello Biba]] dell'integrità.

== Scenario ==

L'integrità del modello è definita tramite un insieme di vincoli, e questo è in uno stato consistente se il modello soddisfa i vincoli. Clark-Wilson identifica due meccanismi principali per rafforzare l'integrità e il controllo degli accessi: la transazione e la separazione dei compiti.

=== Transazioni ===

Le ''[[Transazione (databasebasi di dati)|transazioni]] ben formate'' preservano l'integrità di dati e prevengono che utenti li manipolino arbitrariamente. Una transazione di questo tipo è costituita da una serie di operazioni che muovono il sistema da uno stato ''consistente'' ad un altro stato ''consistente''.

In questo ambito le transazioni sono una serie di operazioni che consentono di far passare da uno stato consistente ad uno consistente, anche se questa non è andata a buon fine, in quanto deve essere presente un meccanismo di [[rollback]].

=== Separazione dei compiti ===

La ''separazione dei compiti'' è necessaria al fine di evitare frodi interne al sistema. Un'operazione, se è completata da una singola persona, questa è più suscettibile di frodi. Assegnare più mansioni di un'operazione a diversi individui, limita il problema suddetto, in quanto, per portare a termine l'attacco, tutte le persone devono essere d'accordo. Se almeno una persona compie il proprio lavoro correttamente, l'attacco non va a termine.

== Il modello ==

Line 23 ⟶ 24:

* '''CR1''': Se un IVP è eseguito, deve assicurarsi che tutti i CDI siano in uno stato valido.

* '''CR1CR2''': Una TP deve trasformare un insieme di CDI da uno stato valido ad uno stato valido.

* '''ER1''': Il sistema deve garantire che solo le TP certificate ad operare su determinati CDI svolgano operazioni su di essi.

* '''ER2''': Il sistema deve associare ad ogni TP il CDI su cui può lavorare e l'utente per conto del quale può lavorare su tale CDI.

Line 40 ⟶ 41:

[[Categoria:Tecniche di difesa informatica]]

[[Categoria:Sicurezza informatica]]

[[Categoria:Terminologia informatica]]

[[de:Clark-Wilson-Modell]]

[[en:Clark-Wilson model]]

[[fr:Modèle de Clark-Wilson]]