论文目录 | |
| 致谢 | 第1-4页 |
| 摘要 | 第4-6页 |
| abstract | 第6-16页 |
| 1 绪论 | 第16-36页 |
| 1.1 选题背景（Background） | 第16-18页 |
| 1.2 国内外研究现状（Domestic and Foreign Research Status） | 第18-31页 |
| 1.3 论文主要工作（Main Work） | 第31-34页 |
| 1.4 论文组织结构（Organization） | 第34-36页 |
| 2 基础理论 | 第36-48页 |
| 2.1 认证协议的主要理论依据（Theories for Authentication Protocol） | 第36-41页 |
| 2.2 生物特征认证技术（Biometric based Authentication） | 第41-42页 |
| 2.3 近场通信技术（Near Field Communication Technology） | 第42-43页 |
| 2.4 认证协议的形式化分析方法（The Technologies for Formal Verification of Authentication Protocols） | 第43-48页 |
| 3 基于口令的远程认证协议分析 | 第48-78页 |
| 3.1 基于口令的远程认证协议相关理论（Theories for the Password-based Remote User Authentication Protocol） | 第48-55页 |
| 3.2 分析轻量级远程单服务器认证协议（Cryptanalysis of Lightweight Remote User Authentication Protocol for Single-Server Environments） | 第55-60页 |
| 3.3 分析轻量级远程多服务器认证协议 （ Cryptanalysis of Lightweight Remote User Authentication Protocol for Multi-Server Environments） | 第60-65页 |
| 3.4 分析基于 RSA 的远程认证协议（Cryptanalysis of RSA-based Remote User Authentication Protocol） | 第65-68页 |
| 3.5 分析基于离散对数的远程认证协议（Cryptanalysis of Remote User Authentication Protocol Based On Discrete Logarithm） | 第68-74页 |
| 3.6 分析基于ECC的远程认证协议（Cryptanalysis of ECC-based Remote User Authentication Protocol） | 第74-76页 |
| 3.7 本章小结（Summary） | 第76-78页 |
| 4 基于口令和NFC的移动云双因子认证协议 | 第78-104页 |
| 4.1 移动云双因子认证相关背景（Background of Two-factor Authentication Protocol in MCC） | 第78-80页 |
| 4.2 移动云环境的双因子认证安全模型（Security Model for Two-factor Authentication Protocol in MCC） | 第80-85页 |
| 4.3 提出的基于NFC和口令的移动云双因子认证协议（Proposed Two-Factor Password Authentication Protocol using NFC in MCC） | 第85-90页 |
| 4.4 PAKE-NFC协议的安全性分析（Security Analysis of PAKE-NFC Protocol） | 第90-92页 |
| 4.5 基于MCC-ROM的PAKE-NFC协议安全性证明（Security Proof for PAKE-NFC Protocol based on MCC-ROM） | 第92-97页 |
| 4.6 基于BAN逻辑的PAKE-NFC协议形式化分析（ The Authentication Proof for PAKE-NFC Protocol Based on BAN Logic） | 第97-101页 |
| 4.7 PAKE-NFC协议性能评估（Performance Evaluation of PAKE-NFC Protocol） | 第101-102页 |
| 4.8 本章小结（Summary） | 第102-104页 |
| 5 基于口令和生物特征的移动云三因子认证协议 | 第104-136页 |
| 5.1 移动医疗云环境三因子认证相关背景（Background of Three-Factor Authentication Protocol in Mobile Medical Cloud） | 第104-107页 |
| 5.2 移动医疗云环境三因子认证模型及评价标准（Security Model and Evaluation Indicator for Three-Factor Authentication Protocol in Mobile Medical Cloud） | 第107-113页 |
| 5.3 生物特征来源及处理机制（Biometric Source and Treatment Method） | 第113-119页 |
| 5.4 分析现有的医疗信息系统认证协议（Analysis of existing User Authentication Scheme for Medical Information System） | 第119-123页 |
| 5.5 提出的移动云医疗环境中的三因子认证协议（Proposed Three-Factor Password Authentication Protocol in Mobile Medical Cloud） | 第123-126页 |
| 5.6 PAKE-BIO协议安全性分析（Security Analysis of PAKE-BIO Protocol） | 第126-129页 |
| 5.7 基于BAN逻辑的PAKE-BIO协议形式化分析（The Authentication Proof for PAKE-BIO Protocol Based on BAN Logic） | 第129-130页 |
| 5.8 基于AVISPA的 PAKE-BIO协议仿真（Simulation of PAKE-BIO Protocol using AVISPA Tool） | 第130-132页 |
| 5.9 PAKE-BIO协议性能评估（Performance Evaluation of PAKE-BIO Protocol） | 第132-134页 |
| 5.10 本章小结（Summary） | 第134-136页 |
| 6 移动云环境下的终端RFID认证协议 | 第136-156页 |
| 6.1 移动云中的RFID认证协议相关背景Background of RFID authentication protocol in MCC） | 第136-137页 |
| 6.2 移动云中的RFID认证协议模型Security Model of RFID Authentication Protocol in MCC） | 第137-139页 |
| 6.3 分析基于云的RFID相互认证协议（Cryptanalysis of Cloud-based RFID Mutual Authentication Protocol） | 第139-141页 |
| 6.4 改进的低成本RFID相互认证协议（Improved Low-cost RFID Mutual Authentication Protocol） | 第141-149页 |
| 6.5 提出的移动云中的低成本RFID认证协议（Proposed Low-cost RFID Authentication Protocol in MCC） | 第149-153页 |
| 6.6 RFID认证协议性能分析（Performance Evaluation for RFID Authentication Protocol） | 第153页 |
| 6.7 本章小结（Summary） | 第153-156页 |
| 7 总结和展望 | 第156-160页 |
| 7.1 总结（Conclusions） | 第156-157页 |
| 7.2 展望（Prospects） | 第157-160页 |
| 参考文献 | 第160-170页 |
| 作者简历 | 第170-172页 |
| 学位论文数据集 | 第172页 |
