高可信嵌入式计算机系统的安全性与易用性设计
DESIGN OF SECURITY AND USABILITY OFEMBEDDED DEPENDABLE COMPUTER SYSTEM
摘要
Abstract
目录
第1章 绪论
1.1 课题背景
1.2 国内外研究现状
1.3 本文的研究内容
1.4 本文组织结构
第2章 易用性设计与实现
2.1 文件存储系统
2.2 键盘设计与实现
2.3 无线通信模块设计与实现
2.4 辅助液晶屏设计与实现
2.5 本章小结
第3章 安全性设计与实现
3.1 系统认证机制
3.2 系统损毁机制
3.3 基于多级认证的自毁策略设计
3.4 本章小结
第4章 系统可靠性评估
4.1 系统模型介绍
4.2 基于马尔科夫计算方法
4.3 非马尔科夫评估方法
4.4 本章小结
第5章 系统测试
5.1 可靠性测试
5.2 键盘测试
5.3 自毁测试
5.4 无线测试
5.5 数据库测试
5.6 本章小结
结论
参考文献
攻读硕士学位期间发表的论文及其它成果
哈尔滨工业大学硕士学位论文原创性声明
哈尔滨工业大学硕士学位论文使用授权书
致谢