论文部分内容阅读
TLS(传输层安全)协议被广泛用来保证Web的安全,为了分析其安全性,用串空间模型对其进行形式化描述,并用认证测试方法分别对客户端和服务器端的认证性进行分析,证明协议存在中间人攻击,通过修改认证测试方法的测试元素对协议形式进行改进,并证明改进后协议的正确性。
认证测试方法对TLS协议的分析及其应用
【摘 要】
：
TLS(传输层安全)协议被广泛用来保证Web的安全,为了分析其安全性,用串空间模型对其进行形式化描述,并用认证测试方法分别对客户端和服务器端的认证性进行分析,证明协议存在中间人攻击,通过修改认证测试方法的测试元素对协议形式进行改进,并证明改进后协议的正确性。
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
计算机应用与软件
【发表日期】
：
2008年11期
其他文献
XML的迅猛发展使得对XML更新语言的需求进一步地增强,XML更新语言已成为一个新的研究热点。面向对象的XML-RL更新语言的设计支持具有面向对象特征的XML更新。首先介绍面向对象XML-RL更新语言,其次论述了逻辑操作符和物理操作符的设计思想与具体实现算法。
提出了一个基于网络划分和分布式并行运算的P/G网快速验证方法。对于各子网运算,采用带加速子网运算策略的Cholesky分解法;并根据各个子网运算相互独立的特点,采用基于MPI(Message Passing Interface)的并行结构对子网络运算进行分布式并行运算。实验证明,该快速验证方法在运算时间和内存占用上效果十分良好。
在传统的字符串处理算法中往往分别考虑字符串的频度和长度。然而,在实际应用中,将字符串的频度和长度结合考虑是有意义的。基于这点我们提出了频长积的概念,规定字符串的频度和长度的乘积为字符串的频长积。并基于广义后缀树和Uk- konen算法,提出了时间复杂度为O(N)的查找算法。效率实验证实了该算法的高效性。语义实验表明,本算法找出的最大频长积字符串相比于最大频度字符串或最大长度字符串,其实际语义更为明
结合现代企事业OA理念，立足于电子办公实际情况，设计并实现了自动化网络办公系统．该系统的目的是实现稳定的、高效的、便捷的办公自动化平台，能够准确地完成大量的数据资料的交互
浸物变压是在盛有液体的容器中放人物体后，液体对容器底部压强的变化。许多学生对这类题无从着手，主要在于难以确定物体放入后，液体深度的变化量△h，总把问题看得复杂化。其实我们如果用数学里的体积恒等法，就会使问题变得一目了然。 本文为全文原貌 未安装PDF浏览器用