Advanced Models for the OSPF Routing Protocol

被引：0
|
作者：
Darville, Courtney [1 ,2 ]
Höfner, Peter [3 ]
Ivankovic, Franc [4 ]
Pam, Adam [5 ]
机构：
[1] Data61, CSIRO, Sydney, Australia
[2] University of New South Wales, Sydney, Australia
[3] School of Computing ANU, Canberra, Australia
[4] University of Trento, Trento, Italy
[5] Macquarie University, Sydney, Australia
来源：
arXiv | 2022年
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Internet protocols - Model checking - Network security - Topology
引用
收藏
相关论文
共 50 条
  • [1] Advanced Models for the OSPF Routing Protocol
    Darville, Courtney
    Hofner, Peter
    Ivankovic, Franc
    Pam, Adam
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (355): : 13 - 26
  • [2] Formal Models of the OSPF Routing Protocol
    Drury, Jack
    Hofner, Peter
    Wang, Weiyou
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (316): : 72 - 120
  • [3] The convergence of the OSPF routing protocol
    Nohl, Attila Rajmund
    Molnár, Gergely
    Periodica Polytechnica Electrical Engineering, 2003, 47 (1-2): : 89 - 100
  • [4] On the vulnerabilities and protection of OSPF routing protocol
    Wang, FY
    Wu, SF
    7TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS - PROCEEDINGS, 1998, : 148 - 152
  • [5] OSPF traffic routing protocol in hybrid network
    Ghazala, Ahmed Mahmoud Abo
    El-Sayed, Ayman
    2007 IFIP INTERNATIONAL CONFERENCE ON NETWORK AND PARALLEL COMPUTING WORKSHOPS, PROCEEDINGS, 2007, : 676 - +
  • [6] Dynamic appointment of ABR for the OSPF routing protocol
    Lai, Wei Kuang
    Tsai, Chen-Da
    Shieh, Chin-Shiuh
    COMPUTER COMMUNICATIONS, 2008, 31 (14) : 3098 - 3102
  • [7] The Security Analysis and Attacks Detection of OSPF Routing Protocol
    Wang Ming-hao
    2014 7TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION (ICICTA), 2014, : 837 - 840
  • [8] Extending OSPF routing protocol for shared mesh restoration
    Liu, H
    Bouillet, E
    Pendarakis, D
    Kornaee, N
    Labourdette, J
    Chaudhuri, S
    LANMAN 2004: 13TH IEEE WORKSHOP ON LOCAL AND METROPOLITAN AREA NETWORKS, 2004, : 97 - 101
  • [9] OSPF Routing Protocol Simulation and Verification using OPNET
    Yuan, Hao
    Jia, Bo
    2011 INTERNATIONAL CONFERENCE ON FUTURE COMPUTERS IN EDUCATION (ICFCE 2011), VOL II, 2011, : 418 - 421
  • [10] An experimental study of insider attacks for OSPF routing protocol
    Vetter, B
    Wang, FY
    Wu, SF
    1997 INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS - PROCEEDINGS, 1997, : 293 - 300
12345