Formal Analysis of PKCS#11 | IEEE Conference Publication | IEEE Xplore