计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2011年
20期
94-96
,共3页
IPSec协议%协议安全性%协议分析%快速密钥交换协议%通用可组合安全性
IPSec協議%協議安全性%協議分析%快速密鑰交換協議%通用可組閤安全性
IPSec협의%협의안전성%협의분석%쾌속밀약교환협의%통용가조합안전성
针对快速密钥交换协议JFKi信息冗余及缺乏形式化证明的问题,提出一种轻量级快速密钥交互协议LJFKi.通过对比分析,发现所提协议的消息长度较原有协议减少1/3,具有较高的通信效率,更适用于对通信负载比较敏感的网络.利用通用可组合安全模型证明该协议能够实现安会会话理想函数,具有通用可组合安全性.
針對快速密鑰交換協議JFKi信息冗餘及缺乏形式化證明的問題,提齣一種輕量級快速密鑰交互協議LJFKi.通過對比分析,髮現所提協議的消息長度較原有協議減少1/3,具有較高的通信效率,更適用于對通信負載比較敏感的網絡.利用通用可組閤安全模型證明該協議能夠實現安會會話理想函數,具有通用可組閤安全性.
침대쾌속밀약교환협의JFKi신식용여급결핍형식화증명적문제,제출일충경량급쾌속밀약교호협의LJFKi.통과대비분석,발현소제협의적소식장도교원유협의감소1/3,구유교고적통신효솔,경괄용우대통신부재비교민감적망락.이용통용가조합안전모형증명해협의능구실현안회회화이상함수,구유통용가조합안전성.
