A Noninterference Model Based on Actions for Nondeterministic Systems

SI Tian-ge; TAN Zhi-yong; LIU Duo; DAI Yi-qi

您当前的位置：

首页 >

文章列表页 >

A Noninterference Model Based on Actions for Nondeterministic Systems

更新时间：2025-07-16

- A Noninterference Model Based on Actions for Nondeterministic Systems
- Acta Electronica Sinica Vol. 36, Issue 11, Pages: 2205-2209(2008)
- 作者机构：
  
  清华大学计算机科学与技术系,北京,100084
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP393.08
- Published：2008
- 稿件说明：
移动端阅览
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：

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

Views

903

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

L-BLP Security Model in Local Area Network

Formalization and Verification of Privacy Preserving Protocol Based on User Consent

A CP-ABE Scheme with Cloud Proxy Re-Encryption

Research Progress on Attribute-Based Access Control

Progress of Cryptographic Access Control and Encryption Security Database

Related Author

ZHANG Yao-xue

MA Li

JIANG Huo-wen

PENG Yun

ZHAO Kai-qiang

KANG Ping

LIU Bin

GUO Zhen

Related Institution

School of Digital Industry， Jiangxi Normal University

School of Big Data Science， Jiangxi Science & Technology Normal University

The No.30 institute of China Electronic Technology Corporation

Network and Data Security Key Laboratory of Sichuan Province， University of Electronic Science and Technology of China

Department of Computer Science， Sichuan Normal University

⁰