The book is organized into eight chapters covering the main approaches and tools in formal methods for security protocol analysis. It begins with the introductory chapter presenting the fundamentals and background knowledge related to formal methods and analysis of security protocols. Chapter 5 describes how to deal with uncertainty issues in secure messages, including inconsistent messages and conflicting beliefs in messages. Chapter 6 integrates data mining with security protocol analysis, and Chapter 7 developed a new technique for detecting collusion attacks in security protocol.