白话说CC之---消除你对EAL5+半形式化的恐惧

小黑：小白小白，我学习了之前的白话说CC的《稍有点小复杂的CC介绍》、《五分钟带你了解EAL4+与EAL5+的区别》和《揭秘穿透性测试》，对CC有了初步的了解。但是到了EAL5+，发现一个抽象可怕的词，就是半形式化，比如“附加错误信息的完备的半形式化功能规范”，“半形式化模块设计”。到底什么是半形式化？你给解释解释。   小白：没问题。半形式化是到了EAL5级提出来的概念，可以说不理解半形式化，就

>>阅读原文<<