A new safety mechanism of active networks
暂无分享,去创建一个
[1] Nancy G. Leveson,et al. System safety in computer-controlled automotive systems , 2000 .
[2] Hilarie K. Orman,et al. Activating Networks: A Progress Report , 1999, Computer.
[3] Angelos D. Keromytis,et al. A secure active network environment architecture: realization in SwitchWare , 1998, IEEE Netw..
[4] Kevin G. Wika. Safety kernal enforcement of software safety policies , 1995 .
[5] Nancy G. Leveson,et al. Design for safe software , 1983 .
[6] G.J. Minden,et al. A survey of active network research , 1997, IEEE Communications Magazine.
[7] G. B. Finelli,et al. The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software , 1993, IEEE Trans. Software Eng..
[8] Kyo Chul Kang,et al. Safety-Critical Software: Status Report and Annotated Bibliography , 1993 .