Return to search

An analysis of the secure routing protocol for mobile ad hoc network route discovery using intuitive reasoning and formal verification to identify flaws /

Thesis (M.S.)--Florida State University, 2003. / Advisor: Dr. Alec Yasinsac, Florida State University, College of Arts and Sciences, Dept. of Computer Science. Title and description from dissertation home page (viewed Oct. 3, 2003). Includes bibliographical references.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/53158778
Date January 2003
CreatorsMarshall, John D., Yasinsac, Alec.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0021 seconds