Open source smart card tools and middleware. PKCS#11/MiniDriver/Tokend - OpenSC/OpenSC