•系统规范主要指安全操作系统的描述性顶层规范 （DTLS）和形式化顶层规范（FTLS）。大多数隐 蔽通道分析方法都把注意力集中在对系统规范层 （特别是描述性顶层规范）的分析。
基于26个网页-相关网页
应通过形式化的技术（如果可能的化）和非形式化的技术证明TCB的形式化高层规约（FTLS）与模型是一致的 通过非形式化的方法证明TCB的实现（硬件、固件、软件）与形式化的高层规约（FTLS）是一致的。
基于12个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐