• SANDLog

  • Referenced in 2 articles [sw13794]
  • program logic for verifying secure routing protocols. The Internet, as it stands today, is highly ... SANDLog -- a declarative specification language for secure routing protocols for verifying properties of these protocols ... both verification and empirical evaluation of secure routing protocols can be carried out in this ... framework, we encoded several proposed secure routing mechanisms in SANDLog, verified variants of path authenticity...
  • VCGen

  • Referenced in 2 articles [sw13795]
  • program logic for verifying secure routing protocols. The Internet, as it stands today, is highly ... SANDLog -- a declarative specification language for secure routing protocols for verifying properties of these protocols ... both verification and empirical evaluation of secure routing protocols can be carried out in this ... framework, we encoded several proposed secure routing mechanisms in SANDLog, verified variants of path authenticity...
  • S-RIP

  • Referenced in 3 articles [sw02570]
  • secure distance vector routing protocol. Distance vector routing protocols (e.g., RIP) have been widely used ... difficulty, if not impossibility, of validating routing updates which are aggregated results of other routers ... this paper, we introduce a secure routing protocol, namely S-RIP, based on a distance ... with those nodes that have propogated that route. A reputation-based framework is proposed...
  • BTSR

  • Referenced in 2 articles [sw02801]
  • BTSR: Secure data fusion and routing algorithm based on behavior trust ... order to treat the problem of routing security in wireless sensor network, data fusion event ... taken into account, a secure data fusion and routing algorithm based on behavior trust (BTSR...
  • SHWMP

  • Referenced in 1 article [sw02763]
  • SHWMP: A secure hybrid wireless mesh protocol for IEEE 802.11s wireless mesh networks ... standard of IEEE 802.11s has defined routing for Wireless Mesh Networks (WMNs) in layer ... Hybrid Wireless Mesh Protocol (HWMP). However, security in routing or forwarding functionality is not specified ... route disruption and diversion, spoofing etc. In this paper, we propose SHWMP, a secure HWMP...
  • MuSeQoR

  • Referenced in 2 articles [sw13779]
  • MuSeQoR: multi-path failure-tolerant security-aware QoS routing in ad hoc wireless networks ... present MuSeQoR: a new multi-path routing protocol that tackles the twin issues of reliability ... protection against failures of multiple paths) and security, while ensuring minimum data redundancy. Unlike...
  • J-Sim

  • Referenced in 6 articles [sw20626]
  • found application domains in battlefield communication, homeland security, pollution sensing, and traffic monitoring. As such ... implementing several well-known localization, geographic routing, and directed diffusion protocols, and perform performance comparisons...
  • fP2P-HN

  • Referenced in 1 article [sw01497]
  • peers. This sub-optimal route (lack of route optimization) considerably reduces the communications performance, increases ... main concerns in mobility is security, our solution provides authentication between...
  • ACL2

  • Referenced in 279 articles [sw00060]
  • ACL2 is both a programming language in which...
  • CARRADS

  • Referenced in 1 article [sw00106]
  • Routing behavior in ad hoc networks is highly...
  • Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 611 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Maple

  • Referenced in 5124 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 251 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 5957 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12309 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PARDISO

  • Referenced in 270 articles [sw00679]
  • The package PARDISO is a thread-safe, high...
  • R

  • Referenced in 8601 articles [sw00771]
  • R is a language and environment for statistical...
  • TSPLIB

  • Referenced in 665 articles [sw00983]
  • TSPLIB is a library of sample instances for...