A Java Card PKI Applet aiming to be ISO 7816 compliant