请教 PREFACE 部分几处翻译

[WenboYang]

• obtaining the highest level of common criteria certification

最高等级的通用准则认证(common criteria certification)

这里 certification 译为认证可能更合适，因为是政府机构签发的，见：
https://www.commoncriteriaportal.org/files/ppfiles/pp0099V2a_pdf.pdf
http://www.uscxm.com/Chinese/news/2020/20200108.asp

• As an environment for developing formally certified software and hardware,

漏了硬件，另外 certified 和 verified 是否要在中文中区分？

• CertiKOS
  hypervisor 漏了