【摘要】 快速密钥交换(JFK)协议是一种新的密钥交换协议,它的安全性引起了人们的重视。文中通过使用BAN类逻辑方法针对其安全目标进行了分析与研究。首先简介了JFK协议的两种形式和报文交互的工作原理,在此基础上指出了它所达到的安全目标,然后介绍了BAN类逻辑方法的符号语义说明和逻辑规则,并通过使用它对JFK协议中一种具体形式JFKr的安全性进行了分析证明,得出了JFK协议满足密钥交换协议的基本安全需求的结论。更多还原

【Abstract】 Just fast keying(JFK) is a new key exchange protocol.Many researchers pay attention to it.In this paper,BAN logic is used to prove security objectives of JFK protocol.After the brief introduction about two variants of the protocol and the mechanism of JFK protocol,security objectives are pointed out.Then the notations and rules of BAN logical method are explained also on analysis and proving are done for JFKr which is one kind of JFK by BAN logical method.In conclusion,JFKr satisfies the basal security demands of key exchange protocol.更多还原