故障注入研究的一种理论框架

本文讨论了故障注入研究中的一些基本问题，为故障注入的研究建立了统一的理论框架．文章引入容错系统层次结构来描述故障注入的概念，将故障注入定义为一个试验过程．故障注入的原理被解释为组成该试验过程的四个步骤．故障注入的应用不仅包括评价容错机制，而且还可应用于更为广泛的领域．

高可信计算机系统的设计方法探讨

本文将高可信计算机系统的设计过程分为四个阶段，分别讨论了各阶段中用于获取系统可信性的容错技术、避错技术和可信性评价技术的应用。

电子物证溯源性研究

理想的电子物证扣押程序是在扣押电子物证物理实体的同时,通过数字指纹对其数据信息进行固定和提取。固定和提取时,可以以只读方式任意制作多份检材复制件,供不同的鉴定机构重复进行检验鉴定,不仅不对原始检材进行任何修改,而且原始检材与其复制件的任何污染变化,都可以从其数字指纹上反映出来,从而保证了电子物证的真实性。但是在很多情况下,不能够做的这么完美。对于程序不完善或由原告方按照相应程序提取的电子物证,遭到质疑时,在一定条件下,可以通过技术手段对其进行溯源性分析与鉴定,以检验是否是原始电子物证,以及其是否受到过污染或改变。

FTT-1:一个基于硬件的故障注入器的设计与实现

故障注入是评价计算机系统可信性的一种重要的试验方法。构造故障注入器是故障注入研究中的一个重要组成部分。此文介绍了ＦＴＴ－１，一个基于硬件的故障注入器的设计与实现。文章讨论了设计与实现硬件故障注入器的关键技术，并介绍了在ＦＴＴ－１的实现中解决这些关键技术的方法。试验结果证明了ＦＴＴ－１用于评价容错计算机系统可信性的有效性。