Novel Approaches to Handle the Inference Problem ◾ 283
constraint that classifies names and salaries at the secret level, once the names are
released to an unclassified user, the salaries cannot be released. In other words, the
salary values are regarded as secret once the names are released to an unclassified
user. erefore, the previous fact “salary is unclassified” has to be retracted once the
names are released. When reasoning with classical logics, facts cannot be retracted.
erefore, in this case a form of nonmonotonic reasoning is required. Based on the
results obtained by Yager on MP applications, it appears that such reasoning could
show promise for inference detections.
In the next section we give the background information on reasoni ...