信息工程大学学报
信息工程大學學報
신식공정대학학보
JOURNAL OF INFORMATION ENGINEERING UNIVERSITY
2014年
5期
525-530
,共6页
王君%昝亚洲%刘爱森%屈萌
王君%昝亞洲%劉愛森%屈萌
왕군%잠아주%류애삼%굴맹
安全协议%BAN类逻辑%形式化方法%Otway-Rees协议
安全協議%BAN類邏輯%形式化方法%Otway-Rees協議
안전협의%BAN류라집%형식화방법%Otway-Rees협의
选取Otway-Rees协议作为研究对象,用一种改进的BAN类逻辑——安全协议分析本征逻辑(SPALL)作为协议分析工具展开研究.首先对SPALL系统进行扩展,针对Otway-Rees协议存在的缺陷,提出了改进方案.为了更好地描述改进协议,用SPALL系统对其安全属性进行了形式化描述,并做出安全分析.分析结果表明,改进协议能够确保密钥分发的正确性,并具有密钥机密性和强认证性,还能满足通信双方验证会话密钥一致性的要求.
選取Otway-Rees協議作為研究對象,用一種改進的BAN類邏輯——安全協議分析本徵邏輯(SPALL)作為協議分析工具展開研究.首先對SPALL繫統進行擴展,針對Otway-Rees協議存在的缺陷,提齣瞭改進方案.為瞭更好地描述改進協議,用SPALL繫統對其安全屬性進行瞭形式化描述,併做齣安全分析.分析結果錶明,改進協議能夠確保密鑰分髮的正確性,併具有密鑰機密性和彊認證性,還能滿足通信雙方驗證會話密鑰一緻性的要求.
선취Otway-Rees협의작위연구대상,용일충개진적BAN류라집——안전협의분석본정라집(SPALL)작위협의분석공구전개연구.수선대SPALL계통진행확전,침대Otway-Rees협의존재적결함,제출료개진방안.위료경호지묘술개진협의,용SPALL계통대기안전속성진행료형식화묘술,병주출안전분석.분석결과표명,개진협의능구학보밀약분발적정학성,병구유밀약궤밀성화강인증성,환능만족통신쌍방험증회화밀약일치성적요구.
