Analysis of the PKCS#11 API Using the Maude-NPA Tool | Publicación