Smart card application used by the IRMA project to store attributes.