openhsm : an open key life cycle protocol for public key infrastructure ' s hardware security modules .
On the security of public key protocols