射频优卡多芯片操作系统隔离与安全通信方法研究
| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 1 绪论 | 第10-31页 |
| ·研究背景、目的及意义 | 第10-13页 |
| ·国内外研究概况 | 第13-29页 |
| ·主要研究工作 | 第29-31页 |
| 2 射频优卡多芯片操作系统安全隔离模型 | 第31-46页 |
| ·射频优卡体系结构及安全分析 | 第31-34页 |
| ·射频优卡运行时安全建模 | 第34-37页 |
| ·运行时安全模型验证 | 第37-43页 |
| ·小结 | 第43-46页 |
| 3 射频优卡多芯片操作系统安全隔离机制 | 第46-60页 |
| ·基于可编程动态地址总线的安全隔离机制 | 第46-47页 |
| ·基于会议模型的安全隔离机制 | 第47-54页 |
| ·CIM隔离机制的功能仿真与FPGA综合实现 | 第54-59页 |
| ·小结 | 第59-60页 |
| 4 射频优卡系统链路层的多卡冲突解决算法 | 第60-94页 |
| ·射频优卡系统的通信模型 | 第60-62页 |
| ·两种典型的RFID系统冲突解决算法 | 第62-64页 |
| ·单读写器射频优卡系统的排队模型 | 第64-76页 |
| ·多卡冲突解决的双边动态调整算法(SDA算法) | 第76-84页 |
| ·SDA算法仿真实现与性能分析 | 第84-91页 |
| ·小结 | 第91-94页 |
| 5 射频优卡系统应用层的安全隐私保护协议 | 第94-106页 |
| ·射频优卡系统应用层的攻击威胁及安全需求 | 第94-98页 |
| ·基于角色编码匹配的双向认证协议(RBMA协议) | 第98-102页 |
| ·RBMA协议的安全与性能分析 | 第102-105页 |
| ·小结 | 第105-106页 |
| 6 总结与展望 | 第106-110页 |
| ·全文总结 | 第106-108页 |
| ·研究展望 | 第108-110页 |
| 致谢 | 第110-112页 |
| 参考文献 | 第112-127页 |
| 附录1 攻读博士学位期间发表及录用的论文目录 | 第127-128页 |
| 附录2 攻读博士学位期间授权的发明专利目录 | 第128-129页 |
| 附录3 CIM隔离机制寄存器传输级原理图 | 第129页 |
