首页 | 本学科首页   官方微博 | 高级检索  
     

计算机安全中的无干扰模型
引用本文:周伟,尹青,郭金庚.计算机安全中的无干扰模型[J].计算机科学,2005,32(2):159-165.
作者姓名:周伟  尹青  郭金庚
作者单位:信息工程大学网络工程实验室,郑州,450002
基金项目:国家863计划信息安全技术主题“网络安全积防御技术”(编号:863-104-06-1)
摘    要:与基于访问控制的形式安全模型相比,基于信息流的安全模型对于定义什么是安全来说更为本质,自提出信息流的无干扰概念以来,信息流模型成为安全研完的中心之一,并提出了多种无干扰信息流模型。本文基于进程代数框架研完这些模型,并给出了一些新的结果和证明。

关 键 词:安全模型  计算机安全  进程代数  访问控制  信息流  框架  干扰  定义  概念  本质

Non-Interference Models in Computer Security
ZHOU Wei,YIN Qing,GUO Jin-Geng.Non-Interference Models in Computer Security[J].Computer Science,2005,32(2):159-165.
Authors:ZHOU Wei  YIN Qing  GUO Jin-Geng
Affiliation:ZHOU Wei,YIN Qing,GUO Jin-Geng Network Engineering Laboratory,Information Engineering University. Zhengzhou 450002
Abstract: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.
Keywords:Security model  Information flow  Non-interference  Process algebra
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号