[IEEE 2010 Third Joint IFIP Wireless and Mobile Networking Conference (WMNC) - Budapest, Hungary (2010.10.13-2010.10.15)] WMNC2010 - Formal verification of secure ad-hoc network routing protocols using deductive model-checking
Buttyan, Levente, Thong, Ta VinhYear:
2010
Language:
english
DOI:
10.1109/wmnc.2010.5678752
File:
PDF, 165 KB
english, 2010