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 条
  • [21] ROUTING PROTOCOLS FOR MOBILE AD-HOC NETWORK: A QUALITATIVE COMPARATIVE ANALYSIS
    Ismail, Roswan
    Zulkifli, Che Zalina
    Samsudin, Khairulanuar
    JURNAL TEKNOLOGI, 2016, 78 (08): : 1 - 10
  • [22] A Review on Multicasting Routing Protocols for Mobile Ad-Hoc Wireless Networks
    Rajani, K. C.
    Aishwarya, P.
    Meenakshi, S. R.
    2016 INTERNATIONAL CONFERENCE ON COMMUNICATION AND SIGNAL PROCESSING (ICCSP), VOL. 1, 2016, : 1045 - 1052
  • [23] A Comparative Performance Evaluation of Routing Protocols for Mobile Ad-hoc Networks
    Khudayer, Baidaa Hamza
    Alzabin, Lial Raja
    Anbar, Mohammed
    Tawafak, Ragad M.
    Wan, Tat-Chee
    AlSideiri, Abir
    Malik, Sohail Iqbal
    Al-Amiedy, Taief Alaa
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2023, 14 (04) : 438 - 446
  • [24] Mobility Based Comparison of Routing Protocols in Mobile Ad-hoc Networks
    Arathy, O.
    Mathew, Binu
    2014 ANNUAL INTERNATIONAL CONFERENCE ON EMERGING RESEARCH AREAS: MAGNETICS, MACHINES AND DRIVES (AICERA/ICMMD), 2014,
  • [25] Rushing Attack Against Routing Protocols in Mobile Ad-Hoc Networks
    Ghoreishi, Seyed-Mohsen
    Abd Razak, Shukor
    Isnin, Ismail Fauzi
    Chizari, Hassan
    2014 INTERNATIONAL SYMPOSIUM ON BIOMETRICS AND SECURITY TECHNOLOGIES (ISBAST), 2014, : 220 - 224
  • [26] Investigating Energy Efficiency of Mobile Ad-hoc Network Routing Protocols
    Ajagbe, S. A.
    Ayegboyin, M. O.
    Idowu, I. R.
    Adeleke, T. A.
    Thanh, Dang N. H.
    INFORMATICA-AN INTERNATIONAL JOURNAL OF COMPUTING AND INFORMATICS, 2022, 46 (02): : 269 - 275
  • [27] Performance Comparison of Wireless Mobile Ad-Hoc Network Routing Protocols
    Kumar, Arun B. R.
    Reddy, Lokanatha C.
    Hiremath, Prakash S.
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2008, 8 (06): : 337 - 343
  • [28] Directional routing protocols for ad-hoc networks
    Hu, B.
    Gharavi, H.
    IET COMMUNICATIONS, 2008, 2 (05) : 650 - 657
  • [29] Strategies for enhancing routing security in protocols for mobile ad hoc networks
    Venkatraman, L
    Agrawal, DP
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2003, 63 (02) : 214 - 227
  • [30] An approach for verifying routing protocols in mobile ad hoc networks using Petri nets
    Xiong, CY
    Murata, T
    Leigh, J
    PROCEEDINGS OF THE IEEE 6TH CIRCUITS AND SYSTEMS SYMPOSIUM ON EMERGING TECHNOLOGIES: FRONTIERS OF MOBILE AND WIRELESS COMMUNICATION, VOLS 1 AND 2, 2004, : 537 - 540
12345