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

Description

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.

Links & Downloads

1. http://etd.lib.fsu.edu/theses/available/etd-08282003-173326/

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/53158778
Date	January 2003
Creators	Marshall, John D., Yasinsac, Alec.
Source Sets	OCLC
Language	English
Detected Language	English