安全核机制的分析

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

安全核机制的分析

黎忠文, 熊光泽

文章导航 > 电子科技大学学报 > 2001 > 30(1): 62-65

黎忠文, 熊光泽. 安全核机制的分析[J]. 电子科技大学学报, 2001, 30(1): 62-65.

引用本文:

黎忠文, 熊光泽. 安全核机制的分析[J]. 电子科技大学学报, 2001, 30(1): 62-65.

Li Zhongwen, Xing Guangze. Analysis of Mechanism of Safety Kernel[J]. Journal of University of Electronic Science and Technology of China, 2001, 30(1): 62-65.

Citation:

Li Zhongwen, Xing Guangze. Analysis of Mechanism of Safety Kernel[J]. Journal of University of Electronic Science and Technology of China, 2001, 30(1): 62-65.

安全核机制的分析

1.
电子科技大学计算机学院成都 610054

基金项目:

"九五"国防技术预研基金资助项目

作者简介:
黎忠文女 30岁博士生

中图分类号: TP306⁺.3;TP311

Analysis of Mechanism of Safety Kernel

1.
College of Computer Science and Engineering,UEST of China Chengdu 610054

摘要: 安全核是安全关键系统的一种新的安全保障机制。通过对安全核原理的分析,讨论了该核的概念及特征,包括其建立的原因、条件、安全策略及结构等重要内容。设计了一种可重用的安全核机制,能较好解决重用安全核带来的一系列诸如应用相关性、安全策略表达的非一致性等问题。
- 安全关键系统 /
- 安全核 /
- 安全策略 /
- 核化系统
Abstract: Safety kernel is a new mechanism providing safety assurance in safety-critical system. In this paper, many important concepts and characteristics of safety kernel are discussed by analyzing kernel method, such as the reason for its building, the requirements for its actualization, safety policies and architectures, etc. In addition, a reusable safety kernel mechanism is designed in this paper, which can address common problems found in safety kernel supporting reuse, such as dependencies on specific application software, in harmony of safety parameter expressiveness, etc.
- safety critical system /
- safety kernel /
- safety policy /
- kernel structured system

[1]	张晓烁, 倪唯一, 肖海林. 基于RIS-UAV协作的车载通信系统安全传输研究 . 电子科技大学学报, 2023, 52(4): 539-548. doi: 10.12178/1001-0548.2022142
[2]	雷维嘉, 兰顺福. 空间调制系统中的人工噪声抗窃听安全传输方案 . 电子科技大学学报, 2018, 47(1): 13-18. doi: 10.3969/j.issn.1001-0548.2018.01.002
[3]	黄姝娟, 刘白林, 张雅, 茹媛. 时间/事件触发的安全关键系统调度研究 . 电子科技大学学报, 2017, 46(3): 631-635. doi: 10.3969/j.issn.1001-0548.2017.03.025
[4]	杨霞, 石鹏, 杨姗, 任飞. 基于SELinux的三权分离技术的研究 . 电子科技大学学报, 2016, 45(6): 958-963. doi: 10.3969/j.issn.1001-0548.2016.06.014
[5]	郭玉翠, 刘思奇, 雷敏, 程明智. 基于一般系统论的信息安全系统的理论研究 . 电子科技大学学报, 2013, 42(5): 728-733. doi: 10.3969/j.issn.1001-0548.2013.05.016
[6]	杨霞, 雷剑, 熊光泽. 支持MLS的多层次嵌入式高可信软件架构 . 电子科技大学学报, 2009, 38(6): 1001-1005. doi: 10.3969/j.issn.1001-0548.2009.06.023
[7]	胡丹, 肖建, 车畅. 再生核支持向量机在非线性系统中的应用 . 电子科技大学学报, 2008, 37(1): 124-127.
[8]	郭建东, 秦志光, 郑敏. 信息系统的安全模型 . 电子科技大学学报, 2008, 37(2): 285-288.
[9]	李炯, 罗光春, 董仕. OptorSim在安全数据网格复制策略中的应用 . 电子科技大学学报, 2007, 36(6): 1350-1353.
[10]	吴劲, 张凤荔, 何兴高, 陆庆. SIP安全机制研究 . 电子科技大学学报, 2007, 36(6): 1211-1214.
[11]	史亮, 王备战, 姜青山, 陈黎飞. 面向大规模网络应用的移动主体系统安全机制 . 电子科技大学学报, 2007, 36(6): 1202-1205,1218.
[12]	王启科, 刘心松, 邱元杰, 周涛, 黎屹. 分布式并行安全操作系统的用户一致性算法 . 电子科技大学学报, 2007, 36(2): 239-241,270.
[13]	李天昀, 胡宗云, 葛临东. 相关跳频通信系统安全性分析 . 电子科技大学学报, 2006, 35(3): 305-308.
[14]	陈雷霆, 文立玉, 李志刚. 信息安全评估研究 . 电子科技大学学报, 2005, 34(3): 373-376.
[15]	刘喆, 王蔚然. 分布式防火墙的网络安全系统研究 . 电子科技大学学报, 2005, 34(3): 351-354.
[16]	吴满意, 黄小芳, 陈军. 国家安全预警系统的构建体系 . 电子科技大学学报, 2004, 33(3): 301-304.
[17]	谭良, 罗讯, 周明天. 动态多级安全系统安全标记的格模型 . 电子科技大学学报, 2004, 33(4): 442-445.
[18]	刘念, 李涛, 赵奎, 许春. 基于PKI技术的学分制管理系统的安全解决方案 . 电子科技大学学报, 2003, 32(4): 440-443.
[19]	杨仕平, 熊光泽, 桑楠. 安全关键系统的防危性技术研究 . 电子科技大学学报, 2003, 32(2): 164-168.
[20]	周世杰, 秦志光, 耿技. 办公自动化系统中的安全性 . 电子科技大学学报, 2000, 29(2): 201-204.

WeChat

点击查看大图

计量

文章访问数: 4203
HTML全文浏览量: 109
PDF下载量: 85
被引次数: 0

安全核机制的分析

1. 电子科技大学计算机学院成都 610054

基金项目:

"九五"国防技术预研基金资助项目

作者简介:
黎忠文女 30岁博士生

收稿日期: 2000-05-31
刊出日期: 2001-02-15

中图分类号: TP306⁺.3;TP311

关键词:

摘要: 安全核是安全关键系统的一种新的安全保障机制。通过对安全核原理的分析,讨论了该核的概念及特征,包括其建立的原因、条件、安全策略及结构等重要内容。设计了一种可重用的安全核机制,能较好解决重用安全核带来的一系列诸如应用相关性、安全策略表达的非一致性等问题。

English Abstract

黎忠文, 熊光泽. 安全核机制的分析[J]. 电子科技大学学报, 2001, 30(1): 62-65.

引用本文:

黎忠文, 熊光泽. 安全核机制的分析[J]. 电子科技大学学报, 2001, 30(1): 62-65.

Li Zhongwen, Xing Guangze. Analysis of Mechanism of Safety Kernel[J]. Journal of University of Electronic Science and Technology of China, 2001, 30(1): 62-65.

Citation:

Li Zhongwen, Xing Guangze. Analysis of Mechanism of Safety Kernel[J]. Journal of University of Electronic Science and Technology of China, 2001, 30(1): 62-65.

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发