?形式化顶层规范(Formal Top Level Specification)
?系统规范主要指安全操作系统的描述性顶层规范 (DTLS)和形式化顶层规范(FTLS)。大多数隐 蔽通道分析方法都把注意力集中在对系统规范层 (特别是描述性顶层规范)的分析。
?高层规约
应通过形式化的技术(如果可能的化)和非形式化的技术证明TCB的形式化高层规约(FTLS)与模型是一致的 通过非形式化的方法证明TCB的实现(硬件、固件、软件)与形式化的高层规约(FTLS)是一致的。
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。