Author:
Han Myoung-Seok,Lee Sang Jun,Bae Woo-Sik
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Computer Science Applications
Reference19 articles.
1. Lowe G. (2009). Casper: A compiler for the analysis of security protocols (Version 1.12). User Manual and Tutorial.
2. Formal Systems (Europe) Ltd. (2010). Oxford University Computing Laboratory, Failures-Divergence Renement. FDR2 User Manual, October 19 2010.
3. R.M.E.M., Jebakumari, M. (2014). An effective secure mechanism for vehicular content distribution in VANET. International Journal of Computer Trends and Technology 8(4), 167–172.
4. Tang, X., Pu, J., Gao, Y., Xie, Y., & Xiong, Z. (2015). GPS-based replica deletion scheme with anti-packet distribution for vehicular networks. The Computer Journal, 58(6), 1399–1415.
5. Huang, C., et al. (2015). mvSERS: A secure emergency response solution for mobile healthcare in vehicular environments. The Computer Journal, 58(10), 2461–2475.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Efficient Vehicle-Assisted Aggregate Authentication Scheme for Infrastructure-Less Vehicular Networks;IEEE Transactions on Intelligent Transportation Systems;2022
2. Communication Security in VANETs;2020 IEEE 17th International Conference on Smart Communities: Improving Quality of Life Using ICT, IoT and AI (HONET);2020-12-14
3. Intelligent Authentication and Message Forwarding in VANET;International Journal of Smart Vehicles and Smart Transportation;2020-01
4. A tutorial survey on vehicle-to-vehicle communications;Telecommunication Systems;2019-12-04
5. A Fair Blind Signature Scheme to Revoke Malicious Vehicles in VANETs;Computers, Materials & Continua;2019