东南大学学报（自然科学版）
東南大學學報（自然科學版）
동남대학학보（자연과학판）
JOURNAL OF SOUTHEAST UNIVERSITY
2011年
1期
6-10
,共5页
LTE/SAE%网间切换%安全%串空间模型%认证测试
LTE/SAE%網間切換%安全%串空間模型%認證測試
LTE/SAE%망간절환%안전%천공간모형%인증측시
通过分析3GPP LTE网间切换安全协议,发现通过监听网络消息的方式,入侵者可以在协议的信息交互过程中获取协议的2个核心密钥,并将其用于非法活动而不会被系统发现.为了解决这一问题,在保留原协议信息交互框架的基础上,提出了一种改进的3GPP LTE网间切换安全协议.该改进协议引入了公钥体系,保证密钥不会因为第三方的截取而泄露;同时,改进的协议还为关键消息提供了消息传递双方的双向认证过程,不仅能保证消息传递双方身份,还能确保消息不会被第三方随意修改.最后,应用串空间模型理论及认证测试方法,从协议的机密性与认证的正确性2个方面形式化地检验了改进协议的安全性.结果表明,改进的协议能够有效地保证消息的机密性与认证的正确性,从而确保协议的安全.
通過分析3GPP LTE網間切換安全協議,髮現通過鑑聽網絡消息的方式,入侵者可以在協議的信息交互過程中穫取協議的2箇覈心密鑰,併將其用于非法活動而不會被繫統髮現.為瞭解決這一問題,在保留原協議信息交互框架的基礎上,提齣瞭一種改進的3GPP LTE網間切換安全協議.該改進協議引入瞭公鑰體繫,保證密鑰不會因為第三方的截取而洩露;同時,改進的協議還為關鍵消息提供瞭消息傳遞雙方的雙嚮認證過程,不僅能保證消息傳遞雙方身份,還能確保消息不會被第三方隨意脩改.最後,應用串空間模型理論及認證測試方法,從協議的機密性與認證的正確性2箇方麵形式化地檢驗瞭改進協議的安全性.結果錶明,改進的協議能夠有效地保證消息的機密性與認證的正確性,從而確保協議的安全.
통과분석3GPP LTE망간절환안전협의,발현통과감은망락소식적방식,입침자가이재협의적신식교호과정중획취협의적2개핵심밀약,병장기용우비법활동이불회피계통발현.위료해결저일문제,재보류원협의신식교호광가적기출상,제출료일충개진적3GPP LTE망간절환안전협의.해개진협의인입료공약체계,보증밀약불회인위제삼방적절취이설로;동시,개진적협의환위관건소식제공료소식전체쌍방적쌍향인증과정,불부능보증소식전체쌍방신빈,환능학보소식불회피제삼방수의수개.최후,응용천공간모형이론급인증측시방법,종협의적궤밀성여인증적정학성2개방면형식화지검험료개진협의적안전성.결과표명,개진적협의능구유효지보증소식적궤밀성여인증적정학성,종이학보협의적안전.
