Toward a secure batch verification with group testing for VANET

ISSN： 1022-0038

Source： Wireless Networks, Vol.19, Iss.6, 2013-08, pp. : 1441-1449

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

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

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

By Thong Ta Buttyán Levente

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

Springer Publishing Company

Access to resources Recommend Favorite

Applications of Boolean Satisfiability to Verification and Testing of Switch-Level Circuits

By Favalli M. Dalpasso M.

Journal of Electronic Testing, Vol. 30, Iss. 1, 2014-02 ,pp. : 41-55

Springer Publishing Company

Access to resources Recommend Favorite

Prevention of DoS Attacks in VANET

By Verma Karan Hasbullah Halabi Kumar Ashok

Wireless Personal Communications, Vol. 73, Iss. 1, 2013-11 ,pp. : 95-126

Springer Publishing Company

Access to resources Recommend Favorite

A Water-Wave Broadcast Scheme for Emergency Messages in VANET

By Lo Shou-Chih

Wireless Personal Communications, Vol. 71, Iss. 1, 2013-07 ,pp. : 217-241

Springer Publishing Company

Access to resources Recommend Favorite