1、顶层模型
2、客户端实体层模型
3、服务端实体层模型
4、网络实体层模型
5、攻击者模型其一
6、模拟过程
CPN Tools 形式化建模分析TLS1.3握手协议
原文：https://www.cnblogs.com/xinxianquan/p/12181558.html
