Model-based verification of privacy preserving authentication protocol for VANETs

ISSN： 2042-3217

Source： International Journal of Information Technology, Communications and Convergence, Vol.2, Iss.2, 2012-08, pp. : 120-137

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

Privacy-Preserving Transactions Protocol Using Mobile Agents with Mutual Authentication

International Journal of Information Security and Privacy (IJISP), Vol. 1, Iss. 1, 2007-01 ,pp. : 35-46

IGI Global_journal

Access to resources Recommend Favorite

Identity privacy-based reliable routing method in VANETs

By Wu Di Wang Xiaojing Sun Limin Ling Yan Zhang Dongxia

Peer-to-Peer Networking and Applications, Vol. 7, Iss. 3, 2014-09 ,pp. : 285-294

Springer Publishing Company

Access to resources Recommend Favorite

Model checking-based safety verification for railway signal safety protocol-I

By Meng Mei Zhongwei Xu Xi Wang Yongbing Wan

International Journal of Computer Applications in Technology, Vol. 46, Iss. 3, 2013-03 ,pp. : 195-202

Inderscience Publishers

Access to resources Recommend Favorite

Scalable and efficient mobile authentication scheme preserving user privacy

By Pu Qiong Wang Jian Wu Shuhua

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 12, Iss. 2, 2013-02 ,pp. : 65-74

Inderscience Publishers

Access to resources Recommend Favorite

Mechanism for Privacy Preservation in VANETS

International Journal of Grid and High Performance Computing (IJGHPC), Vol. 2, Iss. 2, 2010-04 ,pp. : 12-22

IGI Global_journal

Access to resources Recommend Favorite