Certification of Smart-Card Applications in Common Criteria