计算机安全中的无干扰模型
首发时间:2004-03-08
摘要:与基于访问控制的形式安全模型相比,基于信息流的安全模型对于定义什么是安全来说更为本质。自提出信息流的无干扰概念以来,信息流模型成为安全研究的中心之一,并提出了多种无干扰信息流模型。本文基于进程代数框架研究这些模型,并给出了一些新的结果和证明。
For information in English, please click here
Non-interference Models in Computer Security
Abstract:Compared with security models based on access control, security models based on information flow theory are more fundamental to capture the essentials of what is confidentiality. Since the Goguen-Meseguer definition of the concept of non-interference, variations of non-interference models have been presented. Adapted to process algebra framework, this paper gets into details of these models, some new proofs and new results are given.
Keywords: security model, information flow, non-interference, process algebra
论文图表:
引用
No.4184995107871064****
同行评议
共计0人参与
勘误表
计算机安全中的无干扰模型
评论
全部评论0/1000