参考答案：A

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