PKCS#11测试平台的研究与实现
| 致谢 | 第1-6页 |
| 摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 1 绪论 | 第10-13页 |
| ·论文背景 | 第10页 |
| ·国内外研究现状 | 第10-11页 |
| ·研究思路及主要工作 | 第11-12页 |
| ·论文组织结构 | 第12-13页 |
| 2 PKCS#11规范概述 | 第13-22页 |
| ·PKCS#11设计目的 | 第13页 |
| ·PKCS#11设计模型 | 第13-17页 |
| ·槽和令牌 | 第14页 |
| ·对象 | 第14-15页 |
| ·用户和会话 | 第15-17页 |
| ·PKCS#11函数接口 | 第17-20页 |
| ·通用函数 | 第17页 |
| ·槽和令牌管理函数 | 第17-18页 |
| ·会话管理函数 | 第18页 |
| ·对象管理函数 | 第18页 |
| ·密码功能函数 | 第18-19页 |
| ·密钥管理函数 | 第19-20页 |
| ·随机数生产函数 | 第20页 |
| ·并行功能管理函数 | 第20页 |
| ·PKCS#11安全策略 | 第20-21页 |
| ·访问权限控制 | 第20-21页 |
| ·密钥对象的属性控制 | 第21页 |
| ·小结 | 第21-22页 |
| 3 PKCS#11测试系统 | 第22-41页 |
| ·测试的总体思想 | 第22页 |
| ·协议符合性测试 | 第22-29页 |
| ·协议符合性测试原理 | 第22-25页 |
| ·协议符合性测试的设计方案 | 第25-26页 |
| ·协议符合性测试的实现方案 | 第26-29页 |
| ·协议符合性测试各模块的实现 | 第29-38页 |
| ·基本功能测试 | 第29-33页 |
| ·异常功能测试 | 第33-34页 |
| ·属性约束性测试 | 第34-35页 |
| ·组合测试 | 第35-38页 |
| ·性能测试 | 第38-40页 |
| ·性能测试设计方案 | 第38页 |
| ·性能测试的实现方案 | 第38-40页 |
| ·小结 | 第40-41页 |
| 4 PKCS#11安全性测试 | 第41-61页 |
| ·PKCS#11安全威胁 | 第41-42页 |
| ·DKS形式化模型 | 第42-48页 |
| ·代数学基础 | 第43-44页 |
| ·密钥管理命令建模 | 第44-48页 |
| ·模型检测工具SATMC | 第48-50页 |
| ·SATMC | 第48-50页 |
| ·IF语言 | 第50页 |
| ·安全性检测总体架构 | 第50-60页 |
| ·模型转换 | 第51-52页 |
| ·模型配置 | 第52-59页 |
| ·安全模型 | 第59-60页 |
| ·小结 | 第60-61页 |
| 5 结论 | 第61-62页 |
| 参考文献 | 第62-64页 |
| 作者简历 | 第64-66页 |
| 学位论文数据集 | 第66页 |
