Security Protocols and Threat Models

Protocols connect the many devices used in our personal and professional lives.  Hence we require assurances that they are secure in the face of threats.Security is too important to leave to intuition and experience alone. We need methodologies to precisely determine our security goals. A security property is one that holds despite the best efforts of an attacker, as captured by a threat model. Wh...