搜索筛选:
搜索耗时0.0323秒,为你在为你在11,157,000篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：刘俏威,赵佳彬,陈育德,,
来源：佳木斯大学学报(自然科学版) 年份：2008
快速密钥交换协议JFK是一种新型的密钥交换协议，它的安全性引起了人们的重视。论文对密钥交换协议交换过程进行分析的基础上，使用Promela语言描述了协议模型，并用LTL刻画了需要......
相关搜索：
