一种基于系统动作的非确定不干扰模型

司天歌; 谭智勇; 刘 铎; 戴一奇

您当前的位置：

首页 >

文章列表页 >

一种基于系统动作的非确定不干扰模型

论文 | 更新时间：2025-07-16

- 一种基于系统动作的非确定不干扰模型
- A Noninterference Model Based on Actions for Nondeterministic Systems
- 电子学报 2008年36卷第11期页码：2205-2209
- 作者机构：
  
  清华大学计算机科学与技术系,北京,100084
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.60673065)
- DOI：
  中图分类号： TP393.08
- 纸质出版：2008
- 稿件说明：
移动端阅览
司天歌, 谭智勇, 刘铎, 等. 一种基于系统动作的非确定不干扰模型[J]. 电子学报, 2008,36(11):2205-2209.

SI Tian-ge, TAN Zhi-yong, LIU Duo, et al. A Noninterference Model Based on Actions for Nondeterministic Systems[J]. Acta Electronica Sinica, 2008, 36(11): 2205-2209.
司天歌, 谭智勇, 刘铎, 等. 一种基于系统动作的非确定不干扰模型[J]. 电子学报, 2008,36(11):2205-2209. DOI：

SI Tian-ge, TAN Zhi-yong, LIU Duo, et al. A Noninterference Model Based on Actions for Nondeterministic Systems[J]. Acta Electronica Sinica, 2008, 36(11): 2205-2209. DOI：

摘要

本文提出一种基于系统动作的非确定不干扰模型

把不干扰关系拓展到系统动作之间

并表明信息流的产生同时依赖于发起者和观察者的动作

可通过允许发起者动作而阻止观察者动作的方法避免信息流动.最后设计了一个多级安全系统

并为排除隐蔽信道提供了一种新的方法.

Abstract

A noninterference model based on actions for nondeterministic systems was developed to enforce information confidentiality.With redefined noninterference relationship on system actions

information flows depend on actions of both initiators and observers

and can be stopped by allowing actions of initiators and denying the following ones of observers.To show usability of new noninterference relationship and model

an example multilevel security system was designed and a new method was provided to excluding covert channels.

关键词

Keywords

references

浏览量

903

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

局域网络中的L-BLP安全模型

基于用户同意的隐私保护协议形式化描述与验证

支持云代理重加密的CP-ABE方案

基于属性的访问控制研究进展

基于密码学的访问控制和加密安全数据库