【正确答案】 A

【答案解析】 美国国防部和国家标准局的可信任计算机系统评估准则(TCSEC)于1983年首次出版，称为橘皮书。随后对橘皮书作了补充，这就是著名的红皮书。该准则定义了4个级别：A、B、C、D，各级别还可进一步划分。其中最高安全级A1称为可验证安全设计。