Database Reference
In-Depth Information
Get user class L(user)
Set i = 1
L(user) ≥ Pl(ti
i
[TC])
No
Ye s
i = i + 1
Set j = 1
Break t
i
[A
i
] into parts
Set K = 1
j = j + 1
C
k
= L(user)
No
Ye s
C
k
will be asserted by
user beliefs
K = K + 1
Create new class level
for t
i
[A
j
]
Verify t for the user
End
Figure 3.19
Flow chart for verify operation in the belief-consistent model.
level, while the attribute values of t′ itself will not change. If no
tuples ti
i
from R that have ti
i
[primary key] = t[primary key] and
Pl (ti
i
[primary key]) = Pl(t[primary key]) and Pl (ti
i
[tuple class])
< the security level of the user exist, a new tuple, t″, based on
tuple t will be inserted on a level equal to the security level of the
user, while the attribute values of tuple t will not be changed.
Figure 3.20 illustrates the flow chart for the update operation in the
belief-consistent model.
Search WWH ::
Custom Search