《表2 形式化分析软件使用到的软件支持》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《工业以太网EtherNet/IP协议安全分析》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

对TLS1.2协议进行形式化分析，本文采用Scyther-Compromise-0.9.2版本，运行在Intel（R）Core（TM）i5-7400 [email protected] GHz、操作系统是Linux kali 4.19.0-kali3-amd64、8 GB RAM的电脑上（赋予至少4 GB以上的内存），具体的使用软件及工具参见表2。