A Novel Authentication and Key Agreement Scheme for Implantable Medical Devices Deployment
the avispa tool for the automated validation of internet security protocols and applications .