Verifying mobile ad-hoc security routing protocols with type inference

被引：1
|
作者：
Li, Qin [1 ,2 ]
Zeng, Qing-Kai [1 ,2 ]
机构：
[1] State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China
[2] Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China
来源：
Ruan Jian Xue Bao/Journal of Software | 2009年 / 20卷 / 10期
关键词：
D O I：
10.3724/SP.J.1001.2009.03504
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：2822 / 2833
相关论文
共 50 条
  • [41] Routing system in mobile ad-hoc networks
    Minochkin, A., I
    Romanjuk, V. A.
    2006 16TH INTERNATIONAL CRIMEAN CONFERENCE MICROWAVE & TELECOMMUNICATION TECHNOLOGY, VOLS 1 AND 2, CONFERENCE PROCEEDINGS, 2006, : 359 - +
  • [42] Methods for Securing Routing Protocols in Ad-Hoc Networks
    Costinela-Luminita, Ciobanu
    Magdalena, Ciobanu Nicoleta
    14TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2012), 2012, : 341 - 348
  • [43] Performance of Standardized Routing Protocols in Ad-hoc Networks
    Alahdal, Tariq A.
    Mohammad, Saida
    2013 INTERNATIONAL CONFERENCE ON COMPUTING, ELECTRICAL AND ELECTRONICS ENGINEERING (ICCEEE), 2013, : 23 - 28
  • [44] Security Extension for Routing Protocols in Ad hoc Mobile Networks: A comparative Study
    Kartit, Zaid
    Diouri, Ouafaa
    PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON NETWORKING, INFORMATION SYSTEMS & SECURITY (NISS19), 2019,
  • [45] Security Issues and Routing Challenges On Mobile Ad-Hoc Networks: An Extensive Review
    Rao, N. Thirupathi
    INTERNATIONAL JOURNAL OF SECURITY AND ITS APPLICATIONS, 2018, 12 (06): : 27 - 35
  • [46] Reliable routing in mobile Ad-Hoc Networks
    Tragoudas, Spyros
    Stewart, Khadija
    Recent Advances in Computers, Computing and Communications, 2002, : 456 - 458
  • [47] Performance of Ad-Hoc Routing Protocols with Link State
    Drini, Merlinda
    Saadawi, Tarek
    RECENT ADVANCES IN AUTOMATION & INFORMATION: PROCEEDINGS OF THE 10TH WSEAS INTERNATIONAL CONFERENCE ON AUTOMATION & INFORMATION (ICAI'09), 2009, : 52 - +
  • [48] A Survey of Multicast Routing Protocols in Ad-Hoc Networks
    Baker, Mohammed R.
    Akcayol, M. Ali
    GAZI UNIVERSITY JOURNAL OF SCIENCE, 2011, 24 (03): : 451 - 462
  • [49] System services for implementing ad-hoc routing protocols
    Kawadia, V
    Zhang, YG
    Gupta, B
    2002 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, PROCEEDINGS OF THE WORKSHOPS, 2002, : 135 - 142
  • [50] An Application of Routing Protocols for Vehicular Ad-hoc Networks
    Tomer, Pratibha
    Chandra, Munesh
    2010 INTERNATIONAL CONFERENCE ON NETWORKING AND INFORMATION TECHNOLOGY (ICNIT 2010), 2010, : 157 - 160
12345