PKCS#11, Cryptoki, key, cryptography, model checker, klíč,
kryptografie