On the public citation graph

Provable Security of On-Demand Distance Vector Routing in Wireless Ad Hoc Networks

https://doi.org/10.1007/11601494_10
0 signed · 58 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-45608-2openalex-snapshot
Foundations of Security Analysis and Design - Tutorial Lectures
inferredcites →https://doi.org/10.1007/3-540-45608-2_4openalex-snapshot
Security Goals: Packet Trajectories and Strand Spaces
inferredcites →https://doi.org/10.1007/978-0-585-29603-6_5openalex-snapshot
Dynamic Source Routing in Ad Hoc Wireless Networks
inferredcites →https://doi.org/10.1007/978-3-642-03829-7openalex-snapshot
Foundations of Security Analysis and Design V
inferredcites →https://doi.org/10.1007/b102605openalex-snapshot
Mobile Computing
inferredcites →https://doi.org/10.1109/icnp.2002.1181388openalex-snapshot
A secure routing protocol for ad hoc networks
inferredcites →https://doi.org/10.1109/mcsa.1999.749281openalex-snapshot
Ad-hoc on-demand distance vector routing
inferredcites →https://doi.org/10.1109/msecp.2004.1281242openalex-snapshot
Protecting privacy in continuous location-tracking applications
inferredcites →https://doi.org/10.1109/msp.2004.1openalex-snapshot
A survey of secure wireless ad hoc routing
inferredcites →https://doi.org/10.1109/tmc.2006.170openalex-snapshot
Provably Secure On-Demand Source Routing in Mobile Ad Hoc Networks
inferredcites →https://doi.org/10.1145/1029102.1029119openalex-snapshot
Towards provable security for ad hoc routing protocols
inferredcites →https://doi.org/10.1145/570645.570648openalex-snapshot
Ariadne
inferredcites →https://doi.org/10.1145/570681.570682openalex-snapshot
Securing ad hoc routing protocols
inferredcites →https://doi.org/10.1145/77648.77649openalex-snapshot
A logic of authentication
inferredcites →https://doi.org/10.1145/941311openalex-snapshot
Proceedings of the 2nd ACM workshop on Wireless security
inferredcites →https://doi.org/10.1145/986858.986861openalex-snapshot
Modeling vulnerabilities of ad hoc routing protocols
inferredcites →https://doi.org/10.22271/ed.book.2027openalex-snapshot
Secure Routing in Mobile Ad hoc Networks

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/9780470610893.ch9openalex-snapshot
Security for Ad Hoc Routing and Forwarding
inferred← citeshttps://doi.org/10.1002/sec.52openalex-snapshot
Crosscheck mechanism to identify malicious nodes in ad hoc networks
inferred← citeshttps://doi.org/10.1002/sec.68openalex-snapshot
GeoSec: quarantine zones for mobile ad hoc networks
inferred← citeshttps://doi.org/10.1002/smr.2384openalex-snapshot
Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL
inferred← citeshttps://doi.org/10.1002/wcm.728openalex-snapshot
Securing multi‐operator‐based QoS‐aware mesh networks: requirements and design options
inferred← citeshttps://doi.org/10.1007/978-1-84800-328-6_8openalex-snapshot
Formal Verification of Routing Protocols for Wireless Ad Hoc Networks
inferred← citeshttps://doi.org/10.1007/978-3-319-94421-0_1openalex-snapshot
Formal Verification of RGR-SEC, a Secured RGR Routing for UAANETs Using AVISPA, Scyther and Tamarin
inferred← citeshttps://doi.org/10.1007/978-3-540-71549-8_30openalex-snapshot
A Framework for Proving the Security of Data Transmission Protocols in Sensor Network
inferred← citeshttps://doi.org/10.1007/s11235-011-9592-3openalex-snapshot
On automating the verification of secure ad-hoc network routing protocols
inferred← citeshttps://doi.org/10.1016/j.ic.2014.07.004openalex-snapshot
Modeling and verifying ad hoc routing protocols
inferred← citeshttps://doi.org/10.1016/j.peva.2010.11.002openalex-snapshot
Simulations, models, and testbeds: A mutual catalysis
inferred← citeshttps://doi.org/10.1109/access.2024.3409160openalex-snapshot
Modeling and Analysis of Secure Ad Hoc Routing Protocol SRP
inferred← citeshttps://doi.org/10.1109/cis.2008.61openalex-snapshot
Towards Provably Secure On-Demand Distance Vector Routing in MANET
inferred← citeshttps://doi.org/10.1109/cnds.2011.5764561openalex-snapshot
An anonymous secure routing protocol for mobile ad hoc networks
inferred← citeshttps://doi.org/10.1109/csf.2010.12openalex-snapshot
Modeling and Verifying Ad Hoc Routing Protocols
inferred← citeshttps://doi.org/10.1109/glocom.2009.5426209openalex-snapshot
An Analytical Model of Routing, Misbehavior, and Countermeasures in Mobile Ad Hoc Networks
inferred← citeshttps://doi.org/10.1109/iccsn.2009.8openalex-snapshot
S-SPIN: A Provably Secure Routing Protocol for Wireless Sensor Networks
inferred← citeshttps://doi.org/10.1109/icdcsw.2009.61openalex-snapshot
On the Implications of Adaptive Transmission Power for Assisting MANET Security
inferred← citeshttps://doi.org/10.1109/icent.2010.5532256openalex-snapshot
A secure method on a routing protocol for ad hoc networks
inferred← citeshttps://doi.org/10.1109/icndc.2010.16openalex-snapshot
The Hierarchical Threat Model of Routing Security for Wireless Ad Hoc Networks
inferred← citeshttps://doi.org/10.1109/icnp.2007.4375849openalex-snapshot
Routing amid Colluding Attackers
inferred← citeshttps://doi.org/10.1109/mahss.2008.4660133openalex-snapshot
Harnessing delay tolerance to increase delivery ratios in mobile ad hoc networks with misbehaving nodes
inferred← citeshttps://doi.org/10.1109/ncoiet.2011.5738821openalex-snapshot
Multi-path encrypted data security architecture for mobile ad hoc networks
inferred← citeshttps://doi.org/10.1109/snpd.2007.218openalex-snapshot
The Research and Application of Fuzzy Immune PID Control in the Load Control System of Tube Mill
inferred← citeshttps://doi.org/10.1109/snpd.2007.223openalex-snapshot
Secure Routing for Mobile Ad Hoc Networks
inferred← citeshttps://doi.org/10.1109/snpd.2007.483openalex-snapshot
Coverage-preserving Data Gathering in Wireless Sensor Networks
inferred← citeshttps://doi.org/10.1109/tmc.2006.170openalex-snapshot
Provably Secure On-Demand Source Routing in Mobile Ad Hoc Networks
inferred← citeshttps://doi.org/10.1109/tmc.2009.13openalex-snapshot
On the Security of Route Discovery in MANETs
inferred← citeshttps://doi.org/10.1109/wmnc.2010.5678752openalex-snapshot
Formal verification of secure ad-hoc network routing protocols using deductive model-checking
inferred← citeshttps://doi.org/10.1145/1161289.1161302openalex-snapshot
Modeling Ad-hoc rushing attack in a negligibility-based security framework
inferred← citeshttps://doi.org/10.1145/1180345.1180352openalex-snapshot
Modelling adversaries and security objectives for routing protocols in wireless sensor networks
inferred← citeshttps://doi.org/10.1145/1280940.1280995openalex-snapshot
On identifying malicious nodes in ad hoc networks
inferred← citeshttps://doi.org/10.1155/2016/1563464openalex-snapshot
Secure Multicast Routing Algorithm for Wireless Mesh Networks
inferred← citeshttps://doi.org/10.11591/ijeecs.v19.i2.pp949-956openalex-snapshot
Enhanced routing for secured ad-hoc network
inferred← citeshttps://doi.org/10.1504/ijsn.2014.059329openalex-snapshot
A proof technique for security assessment of on-demand ad hoc routing protocols
inferred← citeshttps://doi.org/10.26083/tuprints-00002390openalex-snapshot
Security in Infrastructure-less and Decentralized Communication Networks : Location-based Intrusion Response and User-based Cooperative Decisions
inferred← citeshttps://doi.org/10.3311/pp.ee.2011-1-2.04openalex-snapshot
Formal verification of secure ad-hoc network routing protocols using deductive model-checking
inferred← citeshttps://doi.org/10.47893/ijcsi.2013.1107openalex-snapshot
Flaws in Endair-A Secure Routing Protocol for MANETS
inferred← citeshttps://doi.org/10.5120/5630-7979openalex-snapshot
NCTS-DCR: Node Centric Trust based Secure Dynamic Source Routing Protocol
inferred← citeshttps://doi.org/10.5120/ijca2016910507openalex-snapshot
A Topology-Hiding Secure On-Demand Routing Protocol for Wireless Ad Hoc Network
inferred← citeshttps://doi.org/10.70675/f9d43e80z61faz44e7z881fz13a8dba01b37openalex-snapshot
Formal verification of secured routing protocols
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.