Access control model based on trusted computing for integrated avionics system

CUI Xi-ning1; 2; SHEN Yu-long1; MA Jian-feng1

您当前的位置：

首页 >

文章列表页 >

Access control model based on trusted computing for integrated avionics system

更新时间：2024-10-14

- Access control model based on trusted computing for integrated avionics system
- Vol. 30, Issue S2, Pages: 86-90(2009)
- 作者机构：
  
  1. 西安电子科技大学计算机学院
  2. 西安航空计算机技术研究所
- 作者简介：
- 基金信息：
- DOI：
  CLC： V243;TP393.08
- Published：2009
- 稿件说明：
移动端阅览
CUI Xi-ning1, 2, SHEN Yu-long1, et al. Access control model based on trusted computing for integrated avionics system[J]. 2009, 30(S2): 86-90.
DOI：

CUI Xi-ning1, 2, SHEN Yu-long1, et al. Access control model based on trusted computing for integrated avionics system[J]. 2009, 30(S2): 86-90. DOI：

摘要

综合化航空电子系统呈现高度综合化、模块化的特点

其对平台的可信性及信息的机密性和完整性提出了较高要求。仅仅依赖于软件自身并不能建立满足综合化航空电子系统要求的高可信平台

使用可信计算技术

基于可信根

构建可信的综合化航空电子系统

并重点对基于可信硬件及可信技术的访问控制进行了研究

借鉴了BLP模型和BIBA模型的思想

提出了能够保障完整性和机密性的访问控制模型。研究分析表明提出的访问控制模型增强了综合化航空电子系统的安全性。

Abstract

Integrated avionics system is a highly integrated and modularized system.It strongly requires the reliability of platform

the confidentiality and integrity of information.Software alone does not provide an adequate foundation for building a high-assurance trusted platform.The access control policies based on trusted hardware and trusted computing technologies were focused.By using BLP model and BIBA model

an access control model was brought for ensuring the confidentiality and integrity of information

which greatly improved integrated avionics system’s security.

关键词

Keywords

references

Views

866

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Access control security model based on behavior in cloud computing environment

Research of duality and multi-level security model based on intransitive noninterference theory

Reversible data hiding in encrypted domain based on fine-grained access control

Byzantine fault-tolerant distributed access control mechanism for the Internet of things

Modeling and verification of data circulation control based on timed automata

Related Author

Guo-yuan LIN

Shan HE

Hao HUANG

Ji-yi WU

Wei CHEN

LIU Wei-peng1

ZHANG Xing2

ZHANG Minqing

Related Institution

School of Computer,China University of Mining and Technology

Department of Computer,Nanjing University

Hangzhou Normal University,Key Lab of E-Business and Information Security

State Key Laboratory of Information Security,Graduate School of Chinese Academy of Sciences

Electronic Technology Institute of PLA Information Engineering University

AI问答

⁰