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