南京邮电大学学报（自然科学版）2006，Vol.26Issue(1)：18-24,7.
密钥交换协议JFK的分析与研究
Analyzing and Researching the Key Exchange Protocol:JFK
摘要
关键词
快速密钥交换/因特网密钥交换/形式化分析/逻辑分类
信息技术与安全科学引用本文复制引用
常丽娟,沈苏彬..密钥交换协议JFK的分析与研究[J].南京邮电大学学报（自然科学版）,2006,26(1):18-24,7.基金项目
国家自然科学基金(60273091)和江苏省自然科学重点基金(BK2001205)资助项目 （60273091）
