计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2009年
9期
13-16
,共4页
杨捷%毋国庆%左保河%齐德昱
楊捷%毌國慶%左保河%齊德昱
양첩%무국경%좌보하%제덕욱
半规则实体%串空间%TLS%IKE
半規則實體%串空間%TLS%IKE
반규칙실체%천공간%TLS%IKE
本文用半规则实体代表参与协议并为其利益驱动协议的实体,基于此设想给出一种在串空间模型中的形式化方法.引入Hash和Diffie-Hellman Exchange的案例,在模型中加入半规则串和半规则节点.最后,找到一种对因特网密钥交换(IKE)协议的攻击.
本文用半規則實體代錶參與協議併為其利益驅動協議的實體,基于此設想給齣一種在串空間模型中的形式化方法.引入Hash和Diffie-Hellman Exchange的案例,在模型中加入半規則串和半規則節點.最後,找到一種對因特網密鑰交換(IKE)協議的攻擊.
본문용반규칙실체대표삼여협의병위기이익구동협의적실체,기우차설상급출일충재천공간모형중적형식화방법.인입Hash화Diffie-Hellman Exchange적안례,재모형중가입반규칙천화반규칙절점.최후,조도일충대인특망밀약교환(IKE)협의적공격.
