Non-Interference Models in Computer Security
Zhou We · 2005
Compared with security models based on access control, security models based on information flow theoryare more fundamental to capture the essentials of what is confidentiality. Since the Goguen-Meseguer definition of theconcept of non-interference, variations of non-interference models have been presented. Adapted to process algebraframework, this paper gets into details of these models, some new proofs and new results are given.