Design and Analysis of Security Protocol for Communication - Dinesh Goyal (Wiley, 2020)