WAPI安全机制的形式化分析
WAPI안전궤제적형식화분석
Formalization Analysis of WAPI Security
  • 万方数据
    微计算机信息 미계산궤신식
    CONTROL & AUTOMATION
    2010年 12期 70-71,77 ,共3页

    张永平%金卫华%陈宪超

    장영평%금위화%진헌초

    无线局域网%WAPI%WAI%安全分析%形式化分析%Kailar 無線跼域網%WAPI%WAI%安全分析%形式化分析%Kailar
    무선국역망%WAPI%WAI%안전분석%형식화분석%Kailar
    WAPI是国内第一个的无线局域网标准.本文利用Kailar逻辑模型对WAPI中的证书鉴别过程形式化描述,并对其安全性进行了逻辑推理分析,并对其中的安全缺陷提出了改进方案,使协议达到预期的安全目标.
    WAPI시국내제일개적무선국역망표준.본문이용Kailar라집모형대WAPI중적증서감별과정형식화묘술,병대기안전성진행료라집추리분석,병대기중적안전결함제출료개진방안,사협의체도예기적안전목표.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문