本书系统介绍如何运用CPNTools工具对安全协议进行形式化建模与分析。全书从CPNTools基本操作与SML语言基础讲起，逐步深入安全协议的分析方法，重点探讨在工业物联网和基于PUF的M2M通信场景下认证密钥交换协议的设计与验证，并结合典型实例提供从建模到安全性分析的完整实践指导。