期刊文献+

分布式系统安全保障新体系的研究 被引量:6

Research on New Security and Safety Assurance Structure of Distributed System
在线阅读 下载PDF
导出
摘要 安全问题是阻碍分布式系统发展和实用化的主要因素之一 .分布式系统的安全性包括security和safety两个重要且紧密相关的方面 ,然而目前绝大多数的研究只限于security .可是随着软件的大量应用 ,分布式系统正面临严峻的防危考验 ,迫切需要新的safety保障技术 .本文在深入分析分布式系统安全需求的基础上 ,提出了建立集securi ty和safety保障为一体的分布式系统安全保障新体系的设想 ,并对该体系应具有的特点和设计目标进行探讨 .然后针对把防危核这种safety保障新技术用于大型分布式系统存在的困难 ,提出了基于实时操作系统的解决方案 .最后建立了一种新的安全保障体系SADS (securityandsafetyassurancestructureofdistributedsystem) ,并在实时Linux平台上 ,以交通灯指挥系统为对象建立了SADS 。 Security and safety are important and related factors that baffle the development and practicality of modem distributed system. However, most of researches on distributed system focus on security. Unfortunately, since software is being used largely in the complex distributed systems, the possibility of serious damage resulting from a software defect is considerable and growing, and then the complex distributed systems are plunging into safety crisis. In fact, distributed systems are in urgent need of new safety assurance technologies. After analyzing security and safety requirements of distributed system, we put forward new ideas for setting up the security and safety assurance structure of distributed system. We also analyze characteristics, designing aims for this structure. Since there are a lot of shortcomings in the current methods of realizing safety kernel (that is a new concept of safety assurance) in distributed system, we advance a program for RTOS to supply safety kernel mechanism. Based on all of these, we set up SADS (security and safety assurance structure of distributed system). At last, taking the control system in the traffic lights as example, prototype experiment of SADS has been done on die RT-Linux platform in the lab, and this experiment has proved die validity of SADS.
出处 《电子学报》 EI CAS CSCD 北大核心 2003年第4期564-568,共5页 Acta Electronica Sinica
关键词 分布式系统 safety核 安全保障体系 防危策略 实时操作系统 Computer operating systems Real time systems Security of data
  • 相关文献

参考文献1

二级参考文献3

  • 1王志平.硬实时操作系统研究:博士论文[M].成都:电子科技大学,2000..
  • 2王志平,博士学位论文,2000年
  • 3蒋继洪,计算机系统、数据库系统和通信网络的安全与保密,1995年

共引文献2

同被引文献57

  • 1P.Berger,王渤洪.MBS~——欧洲制动控制系统平台[J].变流技术与电力牵引,2004(5):8-11. 被引量:2
  • 2Dale Chovan,任国安.机车制动机的发展[J].国外内燃机车,1996(3):37-41. 被引量:2
  • 3黎忠文,陈亮,熊光泽.基于防危核(壳)的安全关键硬实时系统响应时间的分析[J].电子学报,2006,34(4):647-652. 被引量:3
  • 4Zalewski J,Ehrenberger W, Saglietti F, et al. Safety of computer control systems: challenges and results in software development[J]. Annual Reviews in Control, 2003, 27:23-37.
  • 5Leveson N G. System safety in computer controlled automotive systems[R]. SAE Congress, 2000.
  • 6Butler R W,Finelli G B. The infeasibility of quantifying the reliability of life-critical real-time software[J]. IEEE Tran on Software Engineering, 1993,19(1) :3-12.
  • 7Leveson N G, Shimeall T J, et al. Design for Safe Software[A].In: Proceedings AIAA Space Sciences Meeting[C], Reno, Nevada,1983.
  • 8Rushby J. Kernels for safety?. In: Safe And Secure Computing Systems Symposium. London:Blackwell Scientific Publications,1989. 210-220.
  • 9Kevin R. Safety kernel enforcement of software safety policies:USA:University of Virginia, ]995.
  • 10Sahraoui A E, Anderson E, Katwijk V, et al. Formal specification of a safety shell in real-time control practice[A]. In: Proceedings of the WRTP'S 2000,25^th IFAC workshop on real-time programming[C], Oxford:Elsevier, 2000. 117- 123.

引证文献6

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部