Spi演算的扩展及其对JFKi协议的分析与改进

摘要：

为分析和验证JFKi协议的相关属性,对Spi演算的扩展进行研究,利用扩展Spi演算对JFKi密钥交换协议进行形式化分析,证明JFKi协议满足认证性和保密性.然而,JFKi协议在遭到重放攻击后,发起方的身份信息会泄露,且JFKi协议本身的属性让它更容易遭受Dos攻击.针对这些缺陷,提出一种JFKi协议的改进方案,采用Spi演算验证该方案是可行的且安全性更高.

关键词：JFKi协议、扩展Spi演算、身份泄露、Dos攻击、协议分析

所属期刊栏目：38

分类号：TP309.7(计算技术、计算机技术)

资助基金：国家自然科学基金项目[2011]61163049;贵州省自然科学基金项目黔科合J字[2014]7641

在线出版日期：2017-10-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：2353-2357