A model checking method for secure routing protocols

一种安全路由协议模型检验方法

基本信息

项目摘要

项目成果

期刊论文数量（2）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
A State Space Suppression Method for Formal Verification of Secure Routing Protocols With SPIN
SPIN安全路由协议形式化验证的状态空间抑制方法
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Hideharu Kojima;Naoto Yanai
  • 通讯作者：
    Naoto Yanai
Implementation and Evaluation of ISDSR in Emulation Environments
経路保証プロトコルを対象にしたSPIN を用いたモデル検査にむけて
使用 SPIN 进行路由保证协议的模型检查
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    小島英春;矢内直人
  • 通讯作者：
    矢内直人
アドホックネットワークプロトコルのモデル検査における状態数削減手法
一种减少自组织网络协议模型检验状态数的方法
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    小島英春;矢内直人
  • 通讯作者：
    矢内直人
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Hideharu Kojima其他文献

ZDDアルゴリズムを用いた高強度テストケース生成法
使用ZDD算法的高强度测试用例生成方法
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Tatsuya Konishi;Hideharu Kojima;Hiroyuki Nakagawa;Tatsuhiro Tsuchiya;土屋達弘;土屋達弘;小西達也，小島英春，中川博之，土屋達弘;小西達也，小島英春，中川博之，土屋達弘;大橋輝，土屋達弘
  • 通讯作者：
    大橋輝，土屋達弘
Mininet-wifiを用いたISDSRの性能評価に関する研究
基于Mininet-wifi的ISDSR性能评估研究
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    王 晶栄;矢内 直人;大久保 隆夫;岡村 真吾;Hideharu Kojima;Ouyang Junjie;Naoto Yanai;清水 真之介
  • 通讯作者：
    清水 真之介
A model for concurrent states and its coverage criteria
并发状态模型及其覆盖标准
Applying Parameter Value Weighting to a Practical Application
将参数值加权应用于实际应用
貪欲法による組み合わせテスト集合生成における高速化について
利用贪心法加速组合测试集生成
  • DOI：
  • 发表时间：
    2015
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Tatsuya Konishi;Hideharu Kojima;Hiroyuki Nakagawa;Tatsuhiro Tsuchiya;土屋達弘;土屋達弘;小西達也，小島英春，中川博之，土屋達弘;小西達也，小島英春，中川博之，土屋達弘;大橋輝，土屋達弘;大橋　輝，土屋達弘
  • 通讯作者：
    大橋　輝，土屋達弘

Hideharu Kojima的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了