1、XXXX 大学毕业论文（设计） 1 网络安全现状及发展趋势网络安全现状及发展趋势 作者：作者：XXXXXX 【摘【摘 要】要】 网络安全的解决是一个综合性问题，涉及到诸多因素，包括技术、产品和管理等。本文主 要研究了信息安全现状及发展趋势， 信现代息系统中的信息安全其核心问题是密码理论及其应用， 其基 础是可信信息系统的构作与评估。随着信息技术的发展与应用，信息安全的内涵在不断的延伸，从最初 的信息保密性发展到信息的完整性、可用性、可控性和不可否认性，进而又发展为“攻（攻击） 、防（防 范） 、测（检测） 、控（控制） 、管（管理） 、评（评估）“等多方面的基础理论和实施技术。其中防火墙 技术
2、现今人们很关注，它是在市场上比较流行，而又能够代表未来发展方向的安全产品。 【 关 键 词 】【 关 键 词 】 网络安全 发展趋势 密码理论 防火墙技术 第一章第一章引言引言 理论研究而言，一些关键的基础理论需要保密，因为从基础理论研究到 实际应用的距离很短。现代信息系统中的信息安全其核心问题是密码理论及 其应用，其基础是可信信息系统的构作与评估。随着计算机技术与网络通信 技术以及信息产业的高速发展，介入 Internet 的个人和单位主机数量快速增 长，尤其是计算机再政府、国防、金融、公安、和商业等部门的广泛应用， 社会对计算机的依赖越来越大，而计算机系统的安全一旦受到破坏，不仅会 导致严
3、重的社会混乱，也会带来巨大的经济损失。世界重要发达郭嘉每年因 计算机犯罪所造成的经济损失令人吃惊，远远超过了普通经济犯罪的损失。 因此，确保计算机系统的安全已成为世界关注的社会问题，信息安全已成为 信息科 学的热点课题，信息安全专业也受到了社会各界的普遍关注。 总的来说，目前在信息安全领域人们所关注的焦点主要有以下几方面： XXXX 大学毕业论文（设计） 2 1） 密码理论与技术； 2） 安全协议理论与技术； 3） 安全体系结构理论与技术； 4） 信息对抗理论与技术； 5） 网络安全与安全产品。 6）防火墙技术 第二第二章章 信息安全领域各项研究现状及发展趋势信息安全领域各项研究现状及发展趋势
4、 1、安全协议理论与技术研究现状及发展趋势安全协议理论与技术研究现状及发展趋势 安全协议的研究主要包括两方面内容，即安全协议的安全性分析方法研 究和各种实用安全协议的设计与分析研究。安全协议的安全性分析方法主要 有两类，一类是攻击检验方法，一类是形式化分析方法，其中安全协议的形 式化分析方法是安全协议研究中最关键的研究问题之一，它的研究始于80 年 代初，目前正处于百花齐放，充满活力的状态之中。许多一流大学和公司的 介入，使这一领域成为研究热点。随着各种有效方法及思想的不断涌现，这 一领域在理论上正在走向成熟。 从大的方面讲，在协议形式化分析方面比较成功的研究思路可以分为三 种：第一种思路是基于推理知识和信念的模态逻辑；第二种思路是基于状态 搜索工具和定理证明技术；第三种思路是基于新的协议模型发展证明正确性 理论。 沿着第一种思路， Brackin 推广了 GNY 逻辑并给出了该逻辑的高阶逻辑 (HOL)理论，之后利用 HOL 理论自动证明在该系统内与安全相关的命题； Kindred 则提出安全协议的理论生成， 解决更广的问题： 给定一个逻辑和协议， 生成协议的整个理论的有限
