信息网络安全

›› 2012, Vol. 12 ›› Issue (6): 0-0.

• 信息网络安全 •    

基于通用可组合理论的协议安全性证明方法讨论

刘宇靓;任伟   

  • 作者简介:中国地质大学(武汉)计算机学院信息安全系,湖北武汉0074
  • 基金资助:
    国家自然科学基金(61170217)

Discussion on Secure Protocol Proof based on Universally Compostable Model

LIU Yu-liang%REN Wei   

PDF (PC)

545

摘要： NULL

Abstract: NULL