Smart Card 和 Java 卡的安全目标中有一个名为FCO的类。下面你会看到这个类的两个元素:
CM=卡片管理器。
FCO_NRO.2.1/CM
TSF 应始终强制为传输的应用程序包生成来源证据。
FCO_NRO.2.2/CM
【编辑提炼】TSF应能够关联信息发起者的身份,以及证据所适用的信息中包含的应用程序包。
FCO_NRO.2.3/CM
TSF 应提供一种能力,以验证给定收件人的信息来源证据[任务:在收到包裹时,因为卡上没有证据以供将来验证]。
问题是,我们如何测试一张卡是否满足这个要求?状态词是本课提到的证据吗?或者我们必须编写一些程序来测试它们?