A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN
A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN
复制标题
SPIN安全路由协议形式化验证的状态空间抑制方法
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Naoto Yanai
中科院分区：
文献类型：
--
作者：
Hideharu Kojima;Naoto Yanai
