可证明安全理论的发展
가증명안전이론적발전
Development of provable security
  • 万方数据
    网络安全技术与应用 망락안전기술여응용
    NETWORK SECURITY TECHNOLOGIES & APPLICATION
    2013年 9期 70-71 ,共2页

    张曼君

    장만군

    可证明安全%形式化%随机预言机模型%标准模型 可證明安全%形式化%隨機預言機模型%標準模型
    가증명안전%형식화%수궤예언궤모형%표준모형
    设计安全协议非常容易出错,因此有必要对协议进行安全性分析.传统的试错法仅仅对于已知攻击具有检测能力,经该方法检测为正确的协议,在一段时间后往往被发现存在安全漏洞.据此,学者们提出了多种安全协议的证明技术.本文围绕这一理论展开探讨,以期对安全协议提供安全性准确可信的分析方法.
    설계안전협의비상용역출착,인차유필요대협의진행안전성분석.전통적시착법부부대우이지공격구유검측능력,경해방법검측위정학적협의,재일단시간후왕왕피발현존재안전루동.거차,학자문제출료다충안전협의적증명기술.본문위요저일이론전개탐토,이기대안전협의제공안전성준학가신적분석방법.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문