Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
S 0 sicuro rispetto ad un
generico permesso r?
Formalmente possiamo scrivere:
1. Stato iniziale:
X 0 =( S0 , O0 , A0 )
Xn
A n [s , o]
che include
Take:
.
Quindi lentit x prender labilit su z la quale apparteneva a y.
Grant:
Un esempio delluso di questo modello dato nel Buffer condiviso (shared buffer)
Allinizio s garantisce i diritti per i processi P e Q.
S, attraverso le regole qui elencate pu creare un buffer condiviso su P e Q:
S crea un nuovo oggetto B
S grant ({r,w} a B) da P
S grant ({r,w} a B) da Q
Simmetria: