安全关键系统的防危性技术研究

留言板

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

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

安全关键系统的防危性技术研究

杨仕平, 熊光泽, 桑楠

文章导航 > 电子科技大学学报 > 2003 > 32(2): 164-168

杨仕平, 熊光泽, 桑楠. 安全关键系统的防危性技术研究[J]. 电子科技大学学报, 2003, 32(2): 164-168.

引用本文:

杨仕平, 熊光泽, 桑楠. 安全关键系统的防危性技术研究[J]. 电子科技大学学报, 2003, 32(2): 164-168.

Yang Shiping, Xiong Guangze, Sang Nan. Research on Safety Technology of Safety Critical Systems[J]. Journal of University of Electronic Science and Technology of China, 2003, 32(2): 164-168.

Citation:

Yang Shiping, Xiong Guangze, Sang Nan. Research on Safety Technology of Safety Critical Systems[J]. Journal of University of Electronic Science and Technology of China, 2003, 32(2): 164-168.

安全关键系统的防危性技术研究

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

基金项目:

总装部预研基金项目,编号:2000J6.7.1.DZ0206

作者简介:
杨仕平男 28岁博士生主要从事实时操作系统的防危核机制与实现、安全关键系统方面的研究

中图分类号: TP302.8

Research on Safety Technology of Safety Critical Systems

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

摘要: 为设计高防危性的安全关键系统,阐述了安全关键系统防危性的本质含义。并从设计方面研究防危性的实现机制,其中重点研究了基于防危核的高防危保障技术。同时提出了基于反射式技术的编程语言——Open C++的实现机制,为防危核的实现探索了新的途径,也为安全关键系统探索了有效的防危新机制。
- 安全关键 /
- 防危性 /
- 防危核 /
- 反射 /
- 可信性
Abstract: In order to design the high safety of safety critical systems, in the paper, the nature of safety of safety critical systems was narrated in detail, established good theory foundation for designing high dependability safety critical systems. At the same time, realization mechanisms of safety were deeply discussed, and high safety safeguard technology based on safety kernel was emphatically researched. In order to realize safety kernel, a kind of programming language based on reflective theory——Open C++ was brought forward, exploring a new approach used to realize safety kernel, at the same time, a novel safeguard mechanism based on safety kernel is adaptable for other safety critical systems.
- safety critical /
- safety /
- safety kernel /
- reflection /
- dependability

[1]	黄姝娟, 刘白林, 张雅, 茹媛. 时间/事件触发的安全关键系统调度研究 . 电子科技大学学报, 2017, 46(3): 631-635. doi: 10.3969/j.issn.1001-0548.2017.03.025
[2]	秦华旺, 朱晓华, 戴跃伟. 基于环境感知的防泄漏多秘密共享方案 . 电子科技大学学报, 2015, 44(1): 101-105. doi: 10.3969/j.issn.1001-0548.2015.01.017
[3]	高悦翔, 彭代渊, 闫丽丽. 认证邮件协议的安全性分析与改进 . 电子科技大学学报, 2013, 42(2): 300-305. doi: 10.3969/j.issn.1001-0548.2013.02.023
[4]	汤永新, 余达太. 基于输入点复杂度的交互固有安全性度量 . 电子科技大学学报, 2012, 41(5): 787-791. doi: 10.3969/j.issn.1001-0548.2012.05.027
[5]	闫丽丽, 彭代渊, 高悦翔. Ad hoc网络中认证路由协议的改进及其安全性分析 . 电子科技大学学报, 2011, 40(4): 577-581.
[6]	甘元驹, 彭银桥, 梅其祥. 防欺诈的动态(t,n)认证加密方案 . 电子科技大学学报, 2011, 40(2): 201-203. doi: 10.3969/j.issn.1001-0548.2011.02.008
[7]	罗光春, 熊娇, 李炯. 无线传感器网络的最优安全性跳数算法研究 . 电子科技大学学报, 2008, 37(4): 582-585.
[8]	甘元驹, 谢仕义, 付东洋, 李小立. 防欺诈的广义多秘密分享方案 . 电子科技大学学报, 2008, 37(1): 68-69,80.
[9]	王启科, 刘心松, 邱元杰, 周涛, 黎屹. 分布式并行安全操作系统的用户一致性算法 . 电子科技大学学报, 2007, 36(2): 239-241,270.
[10]	张金林, 沈绪榜, 陈朝阳. SoC中IP核间互联总线完整性故障测试模型 . 电子科技大学学报, 2007, 36(3): 611-613,631.
[11]	庞辽军, 李慧贤, 王育民. 基于LUC密码体制防欺诈的秘密共享方案 . 电子科技大学学报, 2007, 36(1): 108-111.
[12]	肖军模, 刘军, 于泠. 探讨JAVA的安全性改造与验证 . 电子科技大学学报, 2007, 36(3): 531-533,537.
[13]	李天昀, 胡宗云, 葛临东. 相关跳频通信系统安全性分析 . 电子科技大学学报, 2006, 35(3): 305-308.
[14]	杨仕平, 桑楠, 熊光泽, 刘校矢. 高可信赖实时操作系统的防危调度机制 . 电子科技大学学报, 2006, 35(1): 111-114.
[15]	王华东, 鄢扬, 郭军. 电磁波在等离子体层中衰减的数值分析 . 电子科技大学学报, 2004, 33(4): 357-360.
[16]	张向刚, 刘锦德. 多密钥KDC的安全容错性及其性能分析 . 电子科技大学学报, 2001, 30(6): 596-599.
[17]	黎忠文, 熊光泽. 安全核机制的分析 . 电子科技大学学报, 2001, 30(1): 62-65.
[18]	熊金涛, 刘红秀, 皮德忠. Lucas公钥密码体制及其安全性 . 电子科技大学学报, 1999, 28(4): 397-401.
[19]	任江, 袁宏春. 对SSL协议及其安全性分析 . 电子科技大学学报, 1998, 27(4): 416-420.
[20]	秦志光, 汪文勇. 网络认服务可靠性和安全性 . 电子科技大学学报, 1997, 26(2): 190-193.

WeChat

点击查看大图

计量

文章访问数: 3380
HTML全文浏览量: 143
PDF下载量: 79
被引次数: 0

安全关键系统的防危性技术研究

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

基金项目:

总装部预研基金项目,编号:2000J6.7.1.DZ0206

作者简介:
杨仕平男 28岁博士生主要从事实时操作系统的防危核机制与实现、安全关键系统方面的研究

收稿日期: 2002-09-10
刊出日期: 2003-04-15

中图分类号: TP302.8

关键词:

摘要: 为设计高防危性的安全关键系统,阐述了安全关键系统防危性的本质含义。并从设计方面研究防危性的实现机制,其中重点研究了基于防危核的高防危保障技术。同时提出了基于反射式技术的编程语言——Open C++的实现机制,为防危核的实现探索了新的途径,也为安全关键系统探索了有效的防危新机制。

English Abstract

杨仕平, 熊光泽, 桑楠. 安全关键系统的防危性技术研究[J]. 电子科技大学学报, 2003, 32(2): 164-168.

引用本文:

杨仕平, 熊光泽, 桑楠. 安全关键系统的防危性技术研究[J]. 电子科技大学学报, 2003, 32(2): 164-168.

Yang Shiping, Xiong Guangze, Sang Nan. Research on Safety Technology of Safety Critical Systems[J]. Journal of University of Electronic Science and Technology of China, 2003, 32(2): 164-168.

Citation:

Yang Shiping, Xiong Guangze, Sang Nan. Research on Safety Technology of Safety Critical Systems[J]. Journal of University of Electronic Science and Technology of China, 2003, 32(2): 164-168.

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

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

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

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