Design and Verification of Security API Structure Based on PKCS #11 | IEEE Conference Publication | IEEE Xplore