论文部分内容阅读
采用进程代数CSP和它的模型检测器FDR分析安全协议的方法比较普遍,但生成协议系统的CSP描述十分费时,安全协议分析编译器Casper的出现简化了这一过程.本文主要介绍了Casper,并给出了用Casper分析SSL3.0握手协议的详细过程.
用Casper分析SSL3.0的安全性
【摘 要】
：
采用进程代数CSP和它的模型检测器FDR分析安全协议的方法比较普遍,但生成协议系统的CSP描述十分费时,安全协议分析编译器Casper的出现简化了这一过程.本文主要介绍了Casp
【机 构】
：
北京邮电大学电信工程学院,北京,100876
【出 处】
：
中国计算机学会2004年信息保密专业委员会学术年会
【发表日期】
：
2004年期
其他文献
本文提出来自双线性配对的新的代理多签名体制,在其中多个原始签名人授权给一个代理签名人,以代表他们来进行数字签名;关于提出的新体制,最重要的一点是在其中,代理多签
服务器冗余技术在解决传统分布式环境的可用性和性能瓶颈问题的同时给系统的安全冗余配置管理带来了新的挑战.本文介绍了一种具有冗余结构的分布式数据库服务器模型,重点
本文通过分析移动代理技术在无线局域网应用中面临的安全威胁,提出了一个移动代理在无线局域网中安全迁移的方案,并分析了其安全性能.
本文通过对IP数据包转发机制研究,针对网络安全设备对数据包转发的特殊需求,提出了一种基于(IFPLUT+TCAM)的IP数据包转发机制.该机制将查找表根据输出端口分割为若干个小
在JSP技术得到广泛应用的同时,由于源代码泄漏而引起的JSP安全性也受到了广泛的关注.本文分析了几种造成源代码泄漏的因素,并针对每种因素提出了各自的解决方法.
IPSec非标准实现系统的出现给此类VPN产品的应用和测评都带来了一定的困难.本文首先描述了IPSec标准所要求的安全服务,并在此基础上讨论了IPSec非标准实现的基本方式,以
本文提出在IBM虚拟机器的架构上,使用错误围堵策略建立可生存的网络安全设备内核的思想.建立有效的资源管理器,分割、调度机器资源,把物理资源提供给虚拟机器,平衡错误围
会议
VPN是利用开放的公共网络建立专用数据传输通道的一种广域网技术.IPSec协议则是目前实现安全的VPN最常用的方式.使用可编程的高性能网络处理器可以提供灵活丰富的VPN服务