The Instance-Based Multilevel Security Model - Multilevel Security for Relational Databases - page 156

Get user class L(user)

Set i = 1

i = i + 1

Get Classi i ({P}, {u})

No

U ∈ Classi i {u}

Ye s

Set K = 1

K = K + 1

Get Instance K ({P}, {L})

No

Instance K ∈ Classi i

Ye s

Set j = 1

j = j + 1

Get PL j

No

L(user) ≥ PL j

Ye s

Update PL j

End

Figure 8.4 The UPDATE operation procedure in IBMSM. (E. Fernandez et al. 1994. International
Journal of IEEE Transactions on Knowledge and Data Engineering 6 (2): 275-292.)