Formally verifiable features in embedded vehicular security systems

2009 IEEE Vehicular Networking Conference, VNC 2009

Volumn , Issue , 2009, Pages

  Lee, Gyesik ^a   Oguma, Hisashi ^b   Yoshioka, Akira ^b   Shigetomi, Rie ^c   Otsuka, Akira ^c   Imai, Hideki ^c  

^a Seoul National University   (South Korea)

^b Toyota InfoTechnology Center   (Japan)

^c NATIONAL INSTITUTE OF ADVANCED INDUSTRIAL SCIENCE AND TECHNOLOGY AIST   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

CORE SECURITY TECHNOLOGIES; EMBEDDING SECURITY; FORMAL ANALYSIS; IN-VEHICLE; IT SECURITY; SECURITY MECHANISM; STATE OF THE ART;

EMBEDDED SYSTEMS;

SECURITY SYSTEMS;

EID: 77951264637     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/VNC.2009.5416378     Document Type: Conference Paper

References (18)

1. AISIN - investors - annual report -. Automotive parts and systems business. http://www.aisin.com/finance/ir/report/ 02annual/pdf/auto.pdf#5.
2. AUTOSAR. http://www.autosar.org.
3. Bruno Blanchet. Automatic verification of correspondences for security protocols. Journal of Computer Security, 17(4):363-434, 2009.
4. Cas J. F. Cremers. Scyther - Semantics and Verification of Security Protocols. Ph.D. dissertation, Eindhoven University of Technology, 2006.
5. Danny Dolev and Andrew C. Yao. On the security of public key protocols. IEEE Transactions on Information Theory, 29(2):198-207, 1983.
6. Cédric Fournet and Martín Abadi. Hiding Names: Private Authentication in the Applied Pi Calculus. In ISSS 2002, volume 2609 of LNCS, pages 317-338. Springer, 2003.
7. Goichiro Hanaoka, Tsuyoshi Nishioka, Yuliang Zheng, and Hideki Imai. A hierarchical non-interactive key-sharing scheme with low memory size and high resistance against collusion attacks. Comput. J., 45(3):293-303, 2002.
8. Gabriel Leen and Donal Heffernan. Expanding automotive electronic systems. IEEE Computer, 35(1):88-93, 2002.
9. Gavin Lowe. A hierarchy of authentication specification. In CSFW '97, pages 31-44. IEEE Computer Society, 1997.
10. Tsutomu Matsumoto and Hideki Imai. On the key predistribution system: A practical solution to the key distribution problem. In CRYPTO 1987, volume 293 of LNCS, pages 185-193. Springer, 1988.
11. C. Meadows. Open Issues in Formal Methods for Cryptographic Protocol Analysis. IN MMM-ACMS 2001, volume 2052 of LNCS, pages 21, 2001.
12. Daisuke Nojiri, Goichiro Hanaoka, and Hideki Imai. A practical implementation of hierarchically structured key predistribution system and its evaluation. In ISW 2000, volume 1975 of LNCS, pages 224-236, 2000.
13. Hisashi Oguma, Akira Yoshioka, Makoto Nishikawa, Rie Shigetomi, Akira Otsuka, and Hideki Imai. New Attestation Based Security Architecture for In-vehicle Communication. In IEEE Global Telecommunications Conference (GLOBECOM 2008), pages 1909-1914, 2008.
14. Pioneer USA - car navigation, Important: Notice of Free Firmware Update for AVIC F-Series, http://www.pioneerelectronics. com/PUSA/Support/Navigation/ Notice+of+Free+ Firmware+Update+for+AVIC+F-Series
15. Douglas R. Stinson. On some methods for unconditionally secure key distribution and broadcast encryption. Des. Codes Cryptography, 12(3):215-243, 1997.
16. Toyota recalls 160,000 Prius hybrids due to software glitch, http://www.forbes.com/feeds/afx/2005/10/13/ afx2276901.html.
17. Trusted Computing Group. TPM Specification Version 1.2. https://www.trustedcomputinggroup.org/ downloads/specifications.
18. Marko Wolf, André Weimerskirch, and Thomas Wollinger. State of the Art: Embedding Security in Vehicles. EURASIP Journal on Embedded Systems, 2007(Article ID 74706, 16 pages), 2007.