论文部分内容阅读
在安全操作系统中，通常采用了多种访问控制模型来保证静态客体的内容的机密性和完整性。但是，传统的访问控制政策不能保证静态客体内容的真实性。因此，安全操作系统中的客体并不可信。本文首先分析了操作系统中客体的类型，总结了安全操作系统中对静态客体的处理存在的问题，提出可信静态客体的概念并分析其特点。为了保证可信静态客体内容的真实性，提出了基于TPM的静态客体可信验证系统。该系统将生成可信静态客体的映像文件，映像文件记录某可信静态客体的来源、各次处理行为和内容变化的签名并存于TPM中。最后对该可信验证系统进行了安全