白話說CC之---消除你對EAL5+半形式化的恐懼

小黑：小白小白，我學習了之前的白話說CC的《稍有點小複雜的CC介紹》、《五分鐘帶你瞭解EAL4+與EAL5+的區別》和《揭祕穿透性測試》，對CC有了初步的瞭解。但是到了EAL5+，發現一個抽象可怕的詞，就是半形式化，比如「附加錯誤信息的完備的半形式化功能規範」，「半形式化模塊設計」。到底什麼是半形式化？你給解釋解釋。   小白：沒問題。半形式化是到了EAL5級提出來的概念，可以說不理解半形式化，就

>>阅读原文<<