Security Protocols - Christianson, Bruce (Springer Berlin Heidelberg, 2020)