论文研究-一种新的IP追踪的分片标记方法.pdf

TCB的可信性与系统安全密切相关。随着TCB边界的不断扩大，保证TCB边界可信扩展成为信息安全防范的重要环节。目前针对TCB扩展的研究主要集中在技术层面，理论研究相对欠缺。基于可信计算思想研究了TCB可信扩展模型，依据安全策略将TCB层次化分割为TCB子集，形式化描述了TCB子集之间的可信支撑关系，证明了TCB可信扩展性的必要条件，提出了模型的实施框架。