Browse > Article
http://dx.doi.org/10.14400/JDC.2014.12.8.229

Security Verification of a Communication Authentication Protocol in Vehicular Security System  

Han, Myoungseok (Dept. of Automobile Digital Tuning, Ajou Motor College)
Bae, WooSik (Dept. of AIS Center, Ajou Motor College)
Publication Information
Journal of Digital Convergence / v.12, no.8, 2014 , pp. 229-234 More about this Journal
Abstract
Vehicular electronic communication system has continued to develop in favor of high performance and user convenience with the evolution of auto industry. Yet, due to the nature of communication system, concerns over intruder attacks in transmission sections have been raised with a need for safe and secure communication being valued. Any successful intruder attacks on vehicular operation and control systems as well as on visual equipment could result in serious safety and privacy problems. Thus, research has focused on hardware-based security and secure communication protocols. This paper proposed a safe and secure vehicular communication protocol, used the formal verification tool, Casper/FDR to test the security of the proposed protocol against different types of intruder attacks, and verified that the proposed protocol was secure and ended without problems.
Keywords
Vehicular Security System; Authentication protocol; Casper; Security authentication; Model Checking;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Stephen C., Damon M., Brain K., Danny A., Hovav S., Stefan S., Karl K., Alexei C., Franziska R. and Tadayoshi K., Comprehensive experimental analyses of automotive attack surfaces. SEC, Vol. 11, pp. 1-16, 2011.
2 P. Papadimitratos, A. de La Fortelle, K. Evensen, R. Brignolo, and S. Cosenza, Vehicular communication systems: Enabling technologies, applications, and future outlook on intelligent transportation. IEEE Communications Magazine, Vol. 11, No. 1, pp. 84-95, 2009.
3 ISO 26262, Road vehicles - Functional safety, Management of functional safety & Concept phase
4 P. Papadimitratos, V. Gligor, and J.-P. Hubaux, Securing Vehicular Communications Assumptions, Requirements, and Principles. Workshop on Embedded Security in Cars(ESCAR), Berlin, Germany, 2006.
5 G. Lowe. Casper: A compiler for the analysis of security protocols. User Manual and Tutorial. Version 1.12, 2009.
6 Formal Systems(Europe) Ltd, Oxford University Computing Laboratory, Failures-Divergence Renement. FDR2 User Manual, 19th, October 2010.
7 PRESERVE(PREparing SEcuRe VEhicle-to-X Communication Systems)Deliverable 1.1, Security Requirements of Vehicle Security Architecture. June 2011.
8 C.A.R Hoare. Communicating Sequential Processes. Prentice-Hall. 1985.
9 A. Festag, P. Papadimitratos, and T. Tielert, Design and Performance of Secure Geo-cast for Vehicular Communication. IEEE Transactions on Vehicular Technology (IEEE TVT), Vol. 59, No. 5, pp. 1-16, 2010.   DOI   ScienceOn
10 N. Ristanovic, P. Papadimitratos, G. Theodorakopoulos, J.-P. Hubaux and J.-Y. Le Boudec, Adaptive Message Authentication for Multi-Hop Networks. IEEE/IFIP International Conference on Wireless On-demand Network Systems and Services (IEEE/IFIP WONS), Bardonecchia, Italy, 2011.