Design and Verification of Security API Structure Based on PKCS #11. - Kun-Won Jang; Junho Choun; Myung-Hee Kim; Moon-Seog Jun (CIT, 2006)