The purpose of designing this book is to discuss and analyze security protocols available for communication. Objective is to discuss protocols across all layers
An introduction to CSP - Modelling security protocols in CSP - Expressing protocol goals - Overview of FDR - Casper - Encoding protocols and intruders for FDR -
Security is a rapidly growing area of computer science, with direct and increasing relevance to real life applications such as Internet transactions, electronic
Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptogr
