Certification of Smart-Card Applications in Common Criteria: Proving Representation Correspondences