Wireless Protocol Security: To Simulate or not Simulate

Abstract

Secure routing protocols for mobile ad hoc network are vital to proper wireless network operations. Unfortunately, the security properties of these protocols is often unknown and difficult to analyze. There are various techniques available to evaluate security properties, to include: coordinated discussion, simulation, experimental observation, analytical proofs, and formal methods. These approaches can only be used to provide operational insight and to analyze routing security weaknesses or vulnerabilities. None of the approaches can prove that a protocol is unconditionally secure, since proving security is an intractable problem. In this paper we discuss the capabilities and limitations of these general approaches for use in evaluating security properties of wireless routing protocols.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2006
Accession Number
ADA443031

Entities

People

  • Alec Yasinsac
  • Todd R. Andel

Organizations

  • Florida State University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Ad Hoc Networks
  • Air Force
  • Beta Testing
  • Computer Networks
  • Computer Science
  • Computers
  • Cybersecurity
  • Detection
  • Information Systems
  • Intrusion Detection
  • Mesh Networks
  • Mobile Ad Hoc Networks
  • Network Protocols
  • Routing Protocols
  • Security Protocols
  • Test And Evaluation
  • Wireless Networks

Fields of Study

  • Computer science

Readers

  • Distributed Systems and Data Platform Development
  • Strategic Security Studies