On automating the verification of secure ad-hoc network routing protocols

ISSN： 1018-4864

Source： Telecommunication Systems, Vol.52, Iss.4, 2013-04, pp. : 2611-2635

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Cooperative Protocols Design for Wireless Ad-Hoc Networks with Multi-hop Routing

By Lin Yuxia Song Joo-Han Wong Vincent

Mobile Networks and Applications, Vol. 14, Iss. 2, 2009-04 ,pp. : 143-153

Springer Publishing Company

Access to resources Recommend Favorite

A review of routing protocols for mobile ad hoc networks

By Abolhasan M. Wysocki T. Dutkiewicz E.

Ad Hoc Networks, Vol. 2, Iss. 1, 2004-01 ,pp. : 1-22

Elsevier

Access to resources Recommend Favorite

Verification of Secure Network Protocols in Uncertain Environments

By Damiani Sarah Griffin Christopher Phoha Shashi Racunas Stephan Rogan Christopher

International Journal of Wireless Information Networks, Vol. 13, Iss. 3, 2006-07 ,pp. : 221-228

Springer Publishing Company

Access to resources Recommend Favorite

A Novel Secure Scheme For Wireless Ad Hoc Network

By Yoo Seung-Jae Lee Dong-Hwi Yang Hwan-Seok

Wireless Personal Communications, Vol. 73, Iss. 2, 2013-11 ,pp. : 197-205

Springer Publishing Company

Access to resources Recommend Favorite

Network coding-aware flow control in wireless ad-hoc networks with multi-path routing

By Roh Hee-Tae

Wireless Networks, Vol. 19, Iss. 5, 2013-07 ,pp. : 785-797

Springer Publishing Company

Access to resources Recommend Favorite