一个分层的多播安全协议体系结构及实现

1.引言 随着Internet的普及和商业化应用的增长,越来越多的应用需要多播服务,如大规模信息传播服务、实时视频会议、分布交互式模拟、协同工作等等.为了保护多播消息的内容,需要建立多播安全基础设施.

安全协议形式化分析的不变式生成技术

给出了应用于不同系统的不变式的概述,分析了彼此之间的关系,进行了分类,并探讨了其未来发展趋势.密码协议的形式化分析日渐引起人们的广泛关注.这导致了不变式生成与描述技术的发展.不变式是对入侵者可知和不可知消息的定义,可用于协议认证和秘密性的证明。

一种改进的代理技术

代理技术的分类及各自的优缺点，在综合现有二种主要代理技术的基础上，探讨了一种改进的代理技术的实现方案。