毕业论文设计----网络安全现状及发展趋势

《毕业论文设计----网络安全现状及发展趋势》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、网络安全现状及发展趋势作者：XXX【摘要】网络安全的解决是一个综合性问题，涉及到诸多因素，包括技术、产品和管理等。本文主要研究了信息安全现状及发展趋势，信现代息系统中的信息安全其核心问题是密码理论及其应用，其基础是可信信息系统的构作与评估。随着信息技术的发展与应用，信息安全的内涵在不断的延伸，从最初的信息保密性发展到信息的完整性、可用性、可控性和不可否认性，进而又发展为"攻（攻击）、防（防范）、测（检测）、控（控制）、管（管理）、评（评估）"等多方面的基础理论和实施技术。其中防火墙技术现今人们很关注，它是在市场上比较流行，而又能够代表未来发展方向的安全产品。【关键词】网络安全发展趋

2、势密码理论防火墙技术第一章引言理论研究而言，一些关键的基础理论需要保密，因为从基础理论研究到实际应用的距离很短。现代信息系统中的信息安全其核心问题是密码理论及其应用，其基础是可信信息系统的构作与评估。随着计算机技术与网络通信技术以及信息产业的高速发展，介入Internet的个人和单位主机数量快速增长，尤其是计算机再政府、国防、金融、公安、和商业等部门的广泛应用，社会对计算机的依赖越来越大，而计算机系统的安全一旦受到破坏，不仅会导致严重的社会混乱，也会带来巨大的经济损失。世界重要发达郭嘉每年因计算机犯罪所造成的经济损失令人吃惊，远远超过了普通经济犯罪的损失。因此，确保计算机系统的安全

3、已成为世界关注的社会问题，信息安全已成为信息科学的热点课题，信息安全专业也受到了社会各界的普遍关注。总的来说，目前在信息安全领域人们所关注的焦点主耍有以下几方面：1）密码理论与技术；2）安全协议理论与技术；3）安全体系结构理论与技术；4）信息对抗理论与技术；5）网络安全与安全产品。6）防火墙技术第二章信息安全领域各项研究现状及发展趋势1、安全协议理论与技术研究现状及发展趋势安全协议的研究主要包括两方面内容，即安全协议的安全性分析方法研究和各种实用安全协议的设计与分析研究。安全协议的安全性分析方法主要有两类，一类是攻击检验方法，一类是形式化分析方法，其中安全协议的形式化分析方法是安全

4、协议研究中最关键的研究问题之一，它的研究始于80年代初，目前正处于百花齐放，充满活力的状态之中。许多一流大学和公司的介入，使这一领域成为研究热点。随着各种有效方法及思想的不断涌现，这一领域在理论上正在走向成熟。从大的方面讲，在协议形式化分析方面比较成功的研究思路可以分为三种：第一种思路是基于推理知识和信念的模态逻辑；第二种思路是基于状态搜索T具和定理证明技术；第三种思路是基于新的协议模型发展证明正确性理论。沿着笫…种思路，Brackin推广了GNY逻辑并给出了该逻辑的高阶逻辑（H0L）理论，之后利用H0L理论自动证明在该系统内与安全相关的命题；Kindred则提出安全协议的理论生成

5、，解决更广的问题：给定一个逻辑和协议,生成协议的整个理论的有限表示。尽管也有人提出不同的认证逻辑来检查不同的攻击，但是与前两项工作相比是不重要的。第二种思路是近几年研究的焦点，大量一般目的的形式化方法被用于这一领域，取得了大量成果，突出的成果有：Lowe使用进程代数CSP发现了Needham-Schroeder公钥协议的十七年未发现的漏洞；Schneider用进程代数CSP归范了大量的安全性质；基于进程代数CSP,Lowe和Roscoe分别发展了不同的理论和方法把大系统中协议安全性质的研究约化为小系统中协议安全性质的研究；Abadi及Gordon发展推演密码协议的Spi演算,J・M

6、itchell等把Spi演算与他们发展的工具Mur©结合，有可能把MIT群体的基于算法复杂性的协议安全理论与进程代数有机结合；Meadows及Syverson发展协议分析仪的丄作是重要的；Bolignano使用Coq来分析大协议取得实效。总之，第二种思路至今仍是热点。第三种思路是推广或完善协议模型，根据该模型提出有效的分析理论。在这方面Thayer、Herzon及Guttman提出的StrandSpace理论是一个相当简洁、优美的理论，它把以往使用过的许多思想及技术合理融为一体。Paulson的归纳方法也是有力的，而Schneider基于CSP的理论分析体系已引发许多工作。正如Me

7、adows所说：这一领域已出现了统一的信号，标明了该领域正走向成熟。但该领域还有许多工作需要完成，主耍包括：如何把分析小系统协议的思想与方法扩充到大系统协议；如何扩充现已较成熟的理论或方法去研究更多的安全性质，使同一系统中安全性质在统一的框架下进行验证，而不是同一系统中不同安全性质采用不同系统进行验证，只有这样才能保证不会顾此失彼。目前，已经提出了大量的实用安全协议，有代表的有：电子商务协议，IPSec协议，TLS协议，简单网络管理协议(SNMP),PGP协议，PEM