基于串空间的KryptoKnight协议分析及与逻辑化方法的比较

网络安全在信息时代非常重要,而网络安全的关键问题之一是安全协议.本文通过串空间模型对KryptoKnight协议进行了分析,得出该协议是安全的.并对串空间模型和BAN逻辑方法进行了比较.

鉴别协议综述

对鉴别协议的演进发展过程进行了详细的介绍,重点对比分析了目前流行的几种鉴别协 议的优缺点,并对目前鉴别协议的发展作了归纳总结。

基于混合加密的OSGi认证协议

OSGi平台环境与桌面的分布式环境有很大的区别,一般分布式系统中的认证协议并不能直接运用到OSGi平台上。针对已有OSGi平台认证协议存在的运算量大和密钥分发不便的问题,该文在分析KryptoKnight和X.509协议的基础上,结合对称和非对称加密系统的优点,提出了一种新的基于OSGi平台的认证协议。该协议较好地满足了OSGi平台环境对认证协议最小性,达到了易管理性、单点登录的要求。