Abstract/Details

Verifying sensor network security protocol implementations


2008 2008

Other formats: Order a copy

Abstract (summary)

Verifying sensor network security protocol implementations using testing/simulation might leave some flaws undetected. Formal verification techniques have been very successful in detecting faults in security protocol specifications; however, they generally require building a formal description (model) of the protocol. Building accurate models is hard, thus hindering the application of formal verification. In this work, a framework for automating formal verification of sensor network security protocols is presented. The framework Slede extracts models from protocol implementations and verifies them against generated intruder models. Slede was evaluated by verifying two sensor network security protocol implementations. Security flaws in both protocols were detected.

Indexing (details)


Subject
Computer science
Classification
0984: Computer science
Identifier / keyword
Applied sciences; Program verification; Security protocols; Sensor networks
Title
Verifying sensor network security protocol implementations
Author
Hanna, Youssef
Number of pages
52
Publication year
2008
Degree date
2008
School code
0097
Source
MAI 47/04M, Masters Abstracts International
Place of publication
Ann Arbor
Country of publication
United States
ISBN
9780549996989
Advisor
Rajan, Hridesh
Committee member
Basu, Samik; Zhang, Wensheng
University/institution
Iowa State University
Department
Computer Science
University location
United States -- Iowa
Degree
M.S.
Source type
Dissertations & Theses
Language
English
Document type
Dissertation/Thesis
Dissertation/thesis number
1461854
ProQuest document ID
288186294
Copyright
Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works.
Document URL
http://search.proquest.com/docview/288186294
Access the complete full text

You can get the full text of this document if it is part of your institution's ProQuest subscription.

Try one of the following:

  • Connect to ProQuest through your library network and search for the document from there.
  • Request the document from your library.
  • Go to the ProQuest login page and enter a ProQuest or My Research username / password.