Noninterference model for integrity

ZHANG Fan1; CHEN Shu2; SANG Yong-xuan1; YOU Lin1

您当前的位置：

首页 >

文章列表页 >

Noninterference model for integrity

更新时间：2024-10-14

- Noninterference model for integrity
- Vol. 32, Issue 10, Pages: 78-85(2011)
- 作者机构：
  
  1. 杭州电子科技大学通信工程学院
  2. 华中师范大学计算机科学系
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP309
- Published：2011
- 稿件说明：
移动端阅览
ZHANG Fan1, CHEN Shu2, SANG Yong-xuan1, et al. Noninterference model for integrity[J]. 2011, 32(10): 78-85.
DOI：

ZHANG Fan1, CHEN Shu2, SANG Yong-xuan1, et al. Noninterference model for integrity[J]. 2011, 32(10): 78-85. DOI：

摘要

以Rushby的无干扰工作为基础

对完整性条件下的无干扰模型进行了研究:指出了Rushby所定义的视图划分系统和基于引用监视器假设的系统在完整性条件下和机密性条件下一样

都是满足无干扰的;给出了Biba模型的无干扰解释;提出了动作等价关系

并利用动作等价关系研究了完整性条件下的信息流释放问题;提出了等价自动机和纯化等价自动机的观点

并说明了如何利用这2个图形化的工具帮助进行完整性无干扰推演。

Abstract

The integrity noninterference model was investigated based on Rushby’s work.It was shown that the view-partitioned system and the reference monitor assumption-based system defined by Rushby still satisfy noninterfer-ence in the integrity condition as they do in the confidentiality condition;the integrity-noninterference explanation of the Biba model was given;the action-equivalence relation was proposed to deal with the integrity downgrading;two auto-matons

named the equivalent automaton and the purified equivalent automaton

were proposed to aid the noninterference deduction.

关键词

Keywords

references

Views

802

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Study on enhancing integrity for BLP model

Survey on chaos-based low probability of interception communication technology

Rational-security and fair two-party comparison protocol

Survey on privacy protection indoor positioning

Survey of capacity limits and implementation techniques in wireless covert communication

Related Author

LIU Yan-ming

DONG Qing-kuan

LI Xiao-ping

ZHOU Ang

WANG Shilian

CHEN Weiyu

XIA Guojiang

Bowen ZHAO

Related Institution

School of Communications Engineering,Xidian University

College of Electronic Science and Technology, National University of Defense Technology

Beijing Institute of Astronautical Systems Engineering

Guangzhou Institute of Technology, Xidian University

Xidian University State Key Laboratory of Integrated Service Networks

AI问答

⁰