论文部分内容阅读
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浏览器用
阿星姐：“助人为乐”是美德，但是最近阿星姐信箱里又出现了这样的困惑：“阿星姐，我把我的生活费都借给他了，他还没有还给我，这大半个月可怎么办啊?”“阿星姐，我自己的英语都不好，怎么帮她补习啊，但是不答应，她又说我小气……”“阿星姐，好不容易有个周末，我一点都不想逛街，但好友让我帮她去选一件衣服，不去又会影响感情……” 看得出，这些同学都是热心助人的人，可是他们却并不能感受到帮助别人后获得的快乐。看
用面向方面编程思想研究软件体系结构,提取体系结构中的横切属性,并以方面连接件的形式对其进行建模,然后提出基于UML的面向方面体系结构元模型,最后通过图书管理系统实例说明具体建模过程,对传统体系结构模型和面向方面体系结构模型进行比较分析,结果表明了面向方面软件体系结构模型具有更高的实际应用价值。
老师交给的任务,杰很顺利地完成了,并自认为这是他出的最好的墙报了.但他没依照老师的旨意去做,最终被大批一通,抹了重来.本来挺得意的杰像只泄了气的皮球,再也提不起精神.
期刊
网络技术的不断发展,使实名网络服务为越来越多的人所接受和采用。为了更有效地使用实名网络服务,提出了一种实名网络服务单点登录模型,将单点登录应用于实名网络服务系统中。模型基于实名网络服务,融合了目前应用广泛的集中式单点登录和分布式单点登录的优点。在此基础上,把电子钥匙应用于实名网络服务模型中,分析其单点登录过程,并且建立模型加以验证。