A model checking method for secure routing protocols
A model checking method for secure routing protocols
一种安全路由协议模型检验方法
批准号：
18K11262
负责人：
Hideharu Kojima
金额：
$2.75万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2023-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(2)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN
SPIN安全路由协议形式化验证的状态空间抑制方法
SPIN安全路由协议形式化验证的状态空间抑制方法
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[Hideharu Kojima, Naoto Yanai]
通讯作者：
Naoto Yanai
DOI：
10.1109/wcnc.2019.8885647
发表时间：
2019-04
期刊：
2019 IEEE Wireless Communications and Networking Conference (WCNC)
影响因子：
--
作者：
[Shinnosuke Shimizu;Hideharu Kojima;Naoto Yanai;Tatsuhiro Tsuchiya]
通讯作者：
Shinnosuke Shimizu;Hideharu Kojima;Naoto Yanai;Tatsuhiro Tsuchiya
経路保証プロトコルを対象にしたSPIN を用いたモデル検査にむけて
使用 SPIN 进行路由保证协议的模型检查
使用 SPIN 进行路由保证协议的模型检查
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[小島英春, 矢内直人]
通讯作者：
矢内直人
アドホックネットワークプロトコルのモデル検査における状態数削減手法
一种减少自组织网络协议模型检验状态数的方法
一种减少自组织网络协议模型检验状态数的方法
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[小島英春, 矢内直人]
通讯作者：
矢内直人