电脑编程技巧与维护
電腦編程技巧與維護
전뇌편정기교여유호
COMPUTER PROGRAMMING SKILLS & MAINTENANCE
2009年
20期
23-25
,共3页
Canetti-Krawczyk模型%IEEE%802%11i协议%形式化分析
Canetti-Krawczyk模型%IEEE%802%11i協議%形式化分析
Canetti-Krawczyk모형%IEEE%802%11i협의%형식화분석
对Canetti-Krawczyk模型进行深入研究,抽象并形式化IEEE 802,11i协议的四步握手协议.依据Caneui-Krawczyk模型中在AM下的安全性定义,利用其理论进行形式化分析,得出四步握手协议在AM下的SK安全的结论.提出对于UC下的安全性和协议可用性将是下一步研究目标.
對Canetti-Krawczyk模型進行深入研究,抽象併形式化IEEE 802,11i協議的四步握手協議.依據Caneui-Krawczyk模型中在AM下的安全性定義,利用其理論進行形式化分析,得齣四步握手協議在AM下的SK安全的結論.提齣對于UC下的安全性和協議可用性將是下一步研究目標.
대Canetti-Krawczyk모형진행심입연구,추상병형식화IEEE 802,11i협의적사보악수협의.의거Caneui-Krawczyk모형중재AM하적안전성정의,이용기이론진행형식화분석,득출사보악수협의재AM하적SK안전적결론.제출대우UC하적안전성화협의가용성장시하일보연구목표.
