Pages that link to "Item:Q462483"
From MaRDI portal
The following pages link to Modeling and verifying ad hoc routing protocols (Q462483):
Displaying 9 items.
- A framework for security analysis of mobile wireless networks (Q860908) (← links)
- Parameterized verification of time-sensitive models of ad hoc network protocols (Q896913) (← links)
- Authenticated ad hoc routing at the link layer for mobile systems (Q1859207) (← links)
- Model checking mobile ad hoc networks (Q2363813) (← links)
- Secure node discovery in ad-hoc networks and applications (Q2864180) (← links)
- Analyzing Internet Routing Security Using Model Checking (Q3460047) (← links)
- Tools and Methods for RTCP-Nets Modeling and Verification (Q4971674) (← links)
- Information Security Practice and Experience (Q5316509) (← links)
- Information and Communications Security (Q5464804) (← links)