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 条
  • [1] Routing protocols in mobile Ad-hoc networks
    Gilaberte, RL
    Herrero, LP
    Proceedings of the Fourth IASTED International Conference on Communication Systems and Networks, 2005, : 196 - 201
  • [2] Routing protocols in Mobile Ad-hoc Networks
    Mikaric, Bratislav
    Rancic, Dejan
    Ilic, Slavisa
    PRZEGLAD ELEKTROTECHNICZNY, 2020, 96 (08): : 106 - 111
  • [3] Performance Evaluation of Mobile Ad-Hoc Routing Protocols
    Abdelfattah, Eman
    Liu, Guinshin
    NOVEL ALGORITHMS AND TECHNIQUES IN TELECOMMUNICATIONS, AUTOMATION AND INDUSTRIAL ELECTRONICS, 2008, : 329 - 334
  • [4] Anonymous Routing Protocols for Mobile Ad-Hoc Networks
    Lu, Tianbo
    Chen, Hao
    Zhao, Lingling
    Li, Yang
    INTERNATIONAL JOURNAL OF SECURITY AND ITS APPLICATIONS, 2016, 10 (04): : 229 - 239
  • [5] Inherent security of routing protocols in ad-hoc and sensor networks
    Roosta, Tanya
    Pai, Sameer
    Chen, Phoebus
    Sastry, Shankar
    Wicker, Stephen
    GLOBECOM 2007: 2007 IEEE GLOBAL TELECOMMUNICATIONS CONFERENCE, VOLS 1-11, 2007, : 1273 - +
  • [6] Overview of Multicast Routing Protocols for Mobile Ad-hoc Networks
    Vijayalakshmi, J.
    Prabu, K.
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SUSTAINABLE SYSTEMS (ICISS 2017), 2017, : 256 - 260
  • [7] A Survey of Multicast Routing Protocols for Mobile Ad-Hoc Networks
    Luo Junhai
    Ye Danxia
    Xue Liu
    Fan Mingyu
    IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, 2009, 11 (01): : 78 - 91
  • [8] Performance Analysis of Mobile Ad-hoc Network Routing Protocols
    Arefin, Md. Taslim
    Khan, Md. Tawhidul Islam
    Toyoda, Ichihiko
    2012 INTERNATIONAL CONFERENCE ON INFORMATICS, ELECTRONICS & VISION (ICIEV), 2012, : 935 - 939
  • [9] PERFORMANCE EVALUATION OF ROUTING PROTOCOLS IN MOBILE AD-HOC NETWORKS
    Nigam, Pratiksha
    Tiwari, Ajay
    ADVANCES AND APPLICATIONS IN MATHEMATICAL SCIENCES, 2021, 20 (07): : 1305 - 1317
  • [10] Research on multicast routing protocols for mobile ad-hoc networks
    Luo Junhai
    Xue Liu
    Ye Danxia
    COMPUTER NETWORKS, 2008, 52 (05) : 988 - 997
12345