Network participants are asked to observe the security measures that have been determined is called the protocol, the proof of truth is evidence that every step protocol to maintain some desired properties. The author examines evidence for the security protocol in setting realistic, formal, intuitive. This research advances significant extensions to the method of analysis, while the findings on protocol analysis is novel and enlightening. This book will benefit researchers and graduate students in the field of formal methods, information security, inductive methods, and network.