CC评估保证级中的（EAL）划分中EAL5级相当于TCSEC安全级别中的B2级，而最高级别的定义是形式化验证的设计和测试。（0.

CC评估保证级中的（EAL）划分中EAL5级相当于TCSEC安全级别中的B2级，而最高级别的定义是形式化验证的设计和测试。（0.29分）

A.正确

B.错误

正确答案是A