学位论文 > 优秀研究生学位论文题录展示

嵌入式可信计算机系统安全机制的设计与实现

作　者: 贾耀龙
导　师: 刘宏伟
学　校: 哈尔滨工业大学
专　业: 计算机科学与技术
关键词: 可信计算安全性安全协处理模块 TMS320VC5416
分类号: TP309
类　型: 硕士论文
年　份: 2008年
下　载: 153次
引　用: 0次
阅　读: 论文下载

内容摘要

随着计算机系统逐渐被应用到航天、军事、工业等高可信性领域,人们对计算机系统的可信性要求越来越高,可信计算机系统设计与实现技术已成为人们重要的研究课题。安全性做为可信计算机系统的重要属性之一,对可信计算机系统中安全性技术的研究也变得越来越重要。本文以实现嵌入式可信计算机系统在安全性方面的特殊需求为目的,对可信计算机系统在安全性方面的设计与实现技术做了分析,分析并设计了嵌入式可信计算机系统的安全机制。在传统嵌入式系统的基础上嵌入安全协处理模块,完成了安全协处理模块的总体体系结构的设计。通过软硬件相结合,来实现嵌入式可信计算机系统的安全机制。选用TMS320VC5416做为安全协处理卡处理器,安全协处理卡与主控制器平台采用共享存储的通信方式,完成了安全协处理模块硬件部分的详细设计与实现。安全协处理卡系统管理软件部分的设计与实现以及安全协处理卡在S3C44B0X平台的驱动程序的实现,使安全协处理模块为主控制器平台提供了安全命令接口。最后给出了安全协处理模块的测试,安全协处理模块完成了嵌入式可信计算机系统在安全性方面的基本功能,为后续对嵌入式可信计算机系统安全增强型系统软件和安全增强型应用软件的开发提供了基础。

全文目录

摘要  3-4
Abstract  4-8
第1章绪论  8-13
  1.1 课题背景  8-9
    1.1.1 可信计算机系统  8
    1.1.2 研究目的和意义  8-9
  1.2 国内外研究现状  9-11
  1.3 论文内容与结构  11-13
第2章可信计算机系统安全技术研究  13-23
  2.1 TCG的基于TPM的可信平台技术  13-19
    2.1.1 可信平台  13
    2.1.2 平台特征  13-14
    2.1.3 平台可信根  14-15
    2.1.4 平台信任链  15-16
    2.1.5 平台的体系结构  16-19
  2.2 Intel的LT技术  19-20
    2.2.1 LT技术概要  19
    2.2.2 LT技术特性  19-20
  2.3 微软NGSCB技术  20-21
    2.3.1 NGSCB技术特点  20
    2.3.2 NGSCB体系结构  20-21
  2.4 本章小结  21-23
第3章系统安全机制的分析与设计  23-32
  3.1 安全嵌入式系统总体设计  23-25
    3.1.1 嵌入式计算机系统的构成  23-24
    3.1.2 安全嵌入式系统结构方案  24-25
  3.2 系统功能分析与设计  25-26
    3.2.1 身份认证机制  25-26
    3.2.2 平台完整性机制  26
    3.2.3 数据机密性机制  26
  3.3 安全子系统总体设计  26-30
    3.3.1 安全子系统软硬件体系结构  26-27
    3.3.2 安全模块与处理器的连接  27-28
    3.3.3 身份认证安全性设计  28
    3.3.4 平台完整性设计  28-29
    3.3.5 关键数据机密性设计  29-30
  3.4 本章小结  30-32
第4章安全协处理模块硬件部分的设计与实现  32-43
  4.1 安全协处理卡硬件设计  32-35
    4.1.1 安全协处理卡结构框图  32
    4.1.2 芯片选型  32-35
    4.1.3 安全协处理卡硬件框图  35
  4.2 安全协处理卡硬件电路板实现  35-38
    4.2.1 电源转换电路  35-36
    4.2.2 晶振电路  36-37
    4.2.3 EP1C3T144 最小系统电路  37
    4.2.4 关键引脚及多余引脚的处理  37-38
    4.2.5 PCB设计过程中的注意  38
  4.3 TMS320VC5416 存储空间设计  38-40
  4.4 EP1C3T144 的控制逻辑  40-41
  4.5 安全协处理卡实物效果  41-42
  4.6 本章小结  42-43
第5章安全模块软件部分的设计与实现  43-65
  5.1 安全模块软件设计  43-45
    5.1.1 安全协处理卡软件系统的设计  43-44
    5.1.2 软件功能模块划分  44-45
  5.2 安全协处理卡管理软件各模块的实现  45-55
    5.2.1 密码学算法模块  45-50
    5.2.2 随机数生成模块  50-52
    5.2.3 身份认证模块  52-53
    5.2.4 完整性管理模块  53-54
    5.2.5 数据加解密模块  54
    5.2.6 命令解析处理模块  54-55
  5.3 TMS320VC5416 平台软件设计  55-60
    5.3.1 CCS开发环境  55-56
    5.3.2 C语言汇编语言混合编程  56-57
    5.3.3 TMS320VC5416 的Bootloader模式  57-58
    5.3.4 TMS320VC5416 bootloader程序设计  58
    5.3.5 FLASH现场编程  58-60
  5.4 S3C44B0X 平台安全协处理卡驱动程序模块  60-62
  5.5 软件部分测试  62-64
  5.6 本章小结  64-65
结论  65-66
参考文献  66-71
致谢  71

嵌入式可信计算机系统安全机制的设计与实现

内容摘要

全文目录

相似论文