Formal Analysis and Verification of Oauth 2.0 Protocol Improved by Key Cryptosystems

著录项

• 来源
  《电子学报：英文版》 |2017年第3期|P.477-484|共8页
• 作者

  XIAO Meihua12 CHENG Daolei1 LI Wei1 LI Ya＇nan1 LIU Xinqian1 MEI Yingtian1;

  展开▼
• 作者单位

  [1]School of Software East China Jiaotong University Nanchang 330013 China [2]Co-Innovation Center of the Intelligent Management and Equipment for Orchard on the Hilly Land in South China Nanchang 330013 China;

  [1]School of Software East China Jiaotong University Nanchang 330013 China [2]Co-Innovation Center of the Intelligent Management and Equipment for Orchard on the Hilly Land in South China Nanchang 330013 China;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 无线电电子学、电信技术;
• 关键词