This thesis also presents a method to extend the edge of the control area of the secure OS by adopting trusted computing techniques such as remote attestation and sealed storage.

最后讨论了安全操作系统的边界扩展问题，利用可信计算，结合远程证明，封装存储等相关技术，扩展了安全操作系统的控制范围。