Open AccessFormal verification of secure ad-hoc network routing protocols using deductive model-checking
Author(s) -
Levente Buttyán,
Ta Vinh Thong
Publication year - 2011
Publication title -
periodica polytechnica electrical engineering
Language(s) - English
Resource type - Journals
eISSN - 1587-3781
pISSN - 0324-6000
DOI - 10.3311/pp.ee.2011-1-2.04
Subject(s) - computer science , computer network , wireless routing protocol , optimized link state routing protocol , routing protocol , link state routing protocol , distributed computing , wireless ad hoc network , routing (electronic design automation) , telecommunications , wireless