Introduction
摘要
Security protocols provide a basis for secure computing in distributed environments. We use them daily, without much thought. For example, we use TLS every time our browser connects securely to a webserver on the Internet or our devices download software updates. We use IPSec to create virtual private networks, SSH for secure remote login, and the Signal, WhatsApp, and iMessage protocols for messaging. Behind the scenes we may be using Kerberos, OpenID Connect, or OAuth2, for single sign-on or access delegation. And when we make payments with our credit cards, perhaps stored on our phone, we are using the EMV protocol of Europay, Mastercard, and Visa.