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 条
  • [31] A Critical Analysis of Congestion Adaptive Routing Protocols for Mobile Ad-Hoc Networks
    Shrivastava, Laxmi
    Tomar, G. S.
    INTERNATIONAL JOURNAL OF FUTURE GENERATION COMMUNICATION AND NETWORKING, 2016, 9 (06): : 9 - 16
  • [32] Security in Mobile Ad-Hoc Networks
    Athulya, M. S.
    Sheeba, V. S.
    2012 THIRD INTERNATIONAL CONFERENCE ON COMPUTING COMMUNICATION & NETWORKING TECHNOLOGIES (ICCCNT), 2012,
  • [33] Information-theoretic bounds for mobile Ad-hoc networks routing protocols
    Zhou, NJ
    Abouzeid, AA
    INFORMATION NETWORKING: NETWORKING TECHNOLOGIES FOR ENHANCED INTERNET SERVICES, 2003, 2662 : 651 - 661
  • [34] Performance of TCP over different routing protocols in Mobile Ad-Hoc networks
    Ahuja, A
    Agarwal, S
    Singh, JP
    Shorey, R
    2000 IEEE 51ST VEHICULAR TECHNOLOGY CONFERENCE, PROCEEDINGS, VOLS 1-3, 2000, : 2315 - 2319
  • [35] A Survey of Reinforcement Learning Based Routing Protocols for Mobile Ad-Hoc Networks
    Chettibi, Saloua
    Chikhi, Salim
    RECENT TRENDS IN WIRELESS AND MOBILE NETWORKS, 2011, 162 : 1 - 13
  • [36] Comparing the routing energy overheads of ad-hoc routing protocols
    Bansal, S
    Shorey, R
    Misra, A
    WCNC 2003: IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE RECORD, VOLS 1-3, 2003, : 1155 - 1161
  • [37] An effective performance of dynamic and ad-hoc on-demand routing protocols for mobile ad-hoc networks under NS environment
    Lanka S.
    Ikechukwu I.
    International Journal of Networking and Virtual Organisations, 2020, 22 (04) : 325 - 333
  • [38] Prefix routing in mobile ad-hoc networks
    Chen, X
    Wu, J
    Jia, XD
    PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 2002, : 66 - 71
  • [39] Impact of holes on geometric ad-hoc routing protocols
    Chhieng, Van M.
    Choi, Ryan H.
    Wong, Raymod K.
    ICON: 2006 IEEE INTERNATIONAL CONFERENCE ON NETWORKS, VOLS 1 AND 2, PROCEEDINGS: NETWORKING -CHALLENGES AND FRONTIERS, 2006, : 510 - +
  • [40] Routing with Dijkstra in Mobile Ad-Hoc Networks
    Mahmoodi, Khudaydad
    Balcilar, Muhammet
    Amasyali, M. Fatih
    Yavuz, Sirma
    Uzun, Yuecel
    Davletov, Feruz
    RoboCup 2013: Robot World Cup XVII, 2014, 8371 : 316 - 325
12345