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