多年来,人们努力推动网络安全技术向前发展,但是由于网络的开放性和攻击技术的进步,恶意的攻击者总是有机可乘,使得构建绝对安全的网络系统成为不可能完成的任务。自然发生的系统组件故障和不可预料的意外事件也影响网络系统的正常运行。攻击、故障和意外事件的存在都降低了网络系统的服务质量。可生存性研究致力于保护网络系统的服务,使得在攻击、故障和意外事件存在的情况下,网络系统仍然具有及时完成任务的能力。本文深入研究了可生存网络系统的理论和关键技术,包括系统的体系结构和设计方法、可生存性的形式化描述、基于冗余技术的网络构建方法、基于组件的软件系统可依赖性分析和网络系统可生存性的定量评估。主要成果有:1.研究了现有的主动可生存性技术和被动可生存性技术,提出一种可生存性网络系统的体系结构,把多种可生存性技术组织成一种内外两层的结构,使得网络系统具有抵御、识别和容忍入侵的功能;2.从不同的应用需求出发,以冗余技术为基础,分别结合大数表决和门限方案,提出了基于不同冗余技术的可生存网络系统的构建方法,使得网络系统能够满足不同的应用需求;3.提出了基于组件的软件系统可依赖性分析方法,该方法以组件的状态描述系统的状态,以组件的状态变化描述故障及修复,用连续时间Markov链模拟系统的状态转移,由此分析了组件故障和接口故障对软件系统可依赖性的影响;4.研究了可依赖性、安全性和可生存性等系统属性之间的关系;基于不同的冗余技术对网络系统进行分类并分别建立随机数学模型,提出了基于不同应用需求的可生存性的定量评估方法。