ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 0912.5497
  4. Cited By
How to Specify and How to Prove Correctness of Secure Routing Protocols
  for MANET

How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET

30 December 2009
Panos Papadimitratos
Z. J. Haas
Jean-Pierre Hubaux
ArXiv (abs)PDFHTML

Papers citing "How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET"

1 / 1 papers shown
Title
Secure Link State Routing for Mobile Ad Hoc Networks
Secure Link State Routing for Mobile Ad Hoc Networks
Panos Papadimitratos
Z. J. Haas
83
530
0
28 Mar 2024
1