论文部分内容阅读
在安全协议的各种验证方法中,进程代数方法依托完善的进程演算理论得到了很好的应用。Spi演算在PI演算的基础上扩充了密码操作原语来刻画安全协议,并使用测试等价验证安全属性。讨论了利用Spi演算进行验证的过程,并对经典NSSK协议进行分析。
基于Spi演算的安全协议验证
【摘 要】
：
在安全协议的各种验证方法中,进程代数方法依托完善的进程演算理论得到了很好的应用。Spi演算在PI演算的基础上扩充了密码操作原语来刻画安全协议,并使用测试等价验证安全属性。讨论了利用Spi演算进行验证的过程,并对经典NSSK协议进行分析。
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
计算机应用与软件
【发表日期】
：
2011年03期
其他文献
传统的数据库系统仅仅只是对数据进行存储、查询和修改等基本的数据操作,主动数据库从另一个视野来看待和处理数据。当前职业教育中主动服务已经受到了越来越多的重视,并逐渐成为高职高专的学生管理的一种发展趋势。将主动数据库技术引入到职业院校学生管理系统的研究中,从主动服务的角度进行职业院校学生管理系统体系结构的设计和研究,对主动服务式学生管理系统进行了深入探索。
对直列式智力五环中所包含的数据结构、算法问题进行了研究,提出了逐位替换、配4、配11和整体归位4种算法,有效地解决了直列式智力五环的归位问题,并讨论了算法的优化问题。
针对支持向量机在大规模数据集上的低效率,提出了基于约减支持向量机的相关反馈图像检索算法。首先采用约减支持向量机训练初始分类器,以该分类器作为检索模型,根据检索结果进行相关反馈,从而进行再检索。实验结果表明,随着反馈次数的增加,检索到的相关图像也会增加;另外相对传统的基于向量机的方法,数据集规模越大,基于约减支持向量机的算法在时间上的优势越明显。