Symmetric cryptographic protocols - Ramkumar, Mahalingam (Springer, 2014)