iMprovement of road safety throUgh planning, design and integration of cryptOgraphic services in VanEts

Presentation

Members

Contact

Objectives

Publications

Activities

Deliverables

Español

 

Presentation          

The Research Project TIN2008-02236/TSI is supported by the Spanish Ministry of Science and Innovation, and the European FEDER Fund, from January 1, 2009 till December 31, 2011.

Its main motivation is the belief that Vehicular Ad-hoc NETworks (VANETs) will be very useful to enhance traffic safety and traffic operation in a near future. The main goal of the proposed research consists in guaranteeing the cooperative and secure communication within these networks, since it constitutes a basic requirement for its possible use. In particular, the design, implementation and analysis of new cryptographic algorithms will be carried out in order to face, as a whole, two essential problems regarding security in wireless networks in general and in VANETs in particular: confidentiality protection and authentication. Although the analysis of the different algorithms will be developed using specific tools from each area, the final goal will be to integrate them into a global scheme. In particular, the networks that will be analyzed demand for efficient, robust and light security tools both for V2V (Vehicle TO Vehicle) and for V2I (Vehicle TO Infrastructure) communications. This is the reason why most developments will follow a decentralized and self-organized philosophy, and just some specific schemes will be based on centralized structures.

As for authentication, it is planned to create schemes where cooperation among nodes will be encouraged. According to the suggestions of the European Network of Excellence in Cryptology ECRYPT, special attention will be paid to the adaptation of the developed protocols to the dynamic topology of the network, as well as to the possibility of applying them to hybrid networks and to the behaviour when concurrent executions are carried out. With respect to confidentiality, we will concentrate on the development of highly efficient stream ciphers, having in mind the protection of the Quality of Service (QoS) in the communications. We will follow the suggestions from the eSTREAM European Project, according to which it is convenient to introduce elements from provable security while designing these ciphers, and to customize them in accordance with the particular characteristics of the underlying networks.

On the basis of the results obtained by the research team in the framework of both projects PROPRIETAS-CRYPTO (SEG2004-04352-C04-03) and HESPERIA (CENIT-2005), MUOVE will allow us to define a comprehensive solution to the aforementioned problems. During the evaluation stage, we will use the free software NS-2 (Network Simulator 2), the traffic simulator SUMO (Simulation of Urban MObility) and the program MOVE (MObility model generator for VEhicular networks). The lightest proposed solutions will be adapted to more restricted devices such as sensor networks and RFID devices. In the last phase, a final trial will be held in order to prove the practical applicability of MUOVE’s results.

All the intended algorithms will be based on mathematical foundations, whose validity will be carefully formalized. It will make easier their checking and permit avoiding possible implementation errors. Making honour to its acronym, and such as the legend tells that Galilean Galilei murmured as symbol of the stubbornness of the scientific evidence the well-known sentence "e pur si muove" ("and yet it moves"), this project will also be based totally on scientific evidences.

Ý

Members

Caballero Gil, Pino (Principal researcher)        

Arranz Chacón, Mª Luisa

Caballero Gil, Cándido                 

Delgado Mohatar, Oscar   

Fúster Sabater, Amparo   

Hernández Goya, Candelaria     

Herrera Priano, Félix                     

Mendoza Aguilar, Judit                

Molina Gil, Jezabel                        

Munilla Fajardo, Jorge                  

Peinado Domínguez, Alberto      

Ramió Aguirre, Jorge                    

Reyes Sánchez, Mª Victoria        

Ý

(Universidad de La Laguna, Tenerife)

(Alcatel España S.A., Madrid)

(Edosoft Factory S.L., Las Palmas de Gran Canaria)

(C.S.I.C., Madrid)

(C.S.I.C., Madrid)

(Universidad de La Laguna, Tenerife)  

(Universidad de La Laguna, Tenerife)  

(Caja General de Ahorros de Canarias, Tenerife)

(Becaria FPI de la ACIISI, Tenerife)

(Universidad de Málaga, Málaga)

(Universidad de Málaga, Málaga)

(Universidad Politécnica de Madrid, Madrid)

(Universidad de La Laguna, Tenerife)

 

Contact

Research Group CryptULL on Cryptology at the University of La Laguna.

Pino Caballero Gil (Principal researcher)

University of La Laguna

Astrofísico F. Sánchez s/n

38271 La Laguna

Tenerife. SPAIN

Tel: +34 922 318176

Fax: +34 922318170

E-mail: pcaballe at ull.es

Ý

Objectives
  1. To evaluate known authentication techniques proposed for VANETs, and to design new ZKP schemes for VANETs in order to propose new self-organized authentication schemes of users and of public-keys.
  2. To design new stream ciphers that contain elements of demonstrable security and that are adapted to the specific characteristics of VANETs.
  3. To analyze the existing proposals of cooperation enforcement schemes for MANETs, and to define new cooperation mechanisms that are adapted for VANETs.
  4. To study the use of different routing protocols in VANETs, as well as possible attacks, and to extend the use of the OLSR protocol to VANETs.
  5. To take advantage of the lightest among the proposed solutions for using them in networks with greater restrictions, like RFID devices.
  6. To identify novel mathematical problems in cryptography that are susceptible to be implemented in devices with great limitations, with the intention of developing ad-hoc solutions for RFID devices.
  7. To integrate the best designed protocols and tools in a Global Security Scheme for VANETs
  8. To use the NS-2simulator and the EXTREME and MOVE tools for the experimental evaluation of the developed tools, and to implement securely the demonstrator of the Global Security Scheme for VANETs  in order to carry out field tests.

Ý

Publications
  1. Seguridad Matemática en Redes Ad-hoc Vehiculares. P. Caballero-Gil. Congreso RSME 2009. Sesión especial Nuevos avances en Criptografía y Codificación de la Información. Oviedo. 4-7 Feb. 2009. ISBN: 978-84-8409-277-3
  2. Cooperation Enforcement Schemes in Vehicular Ad-Hoc Networks (VANETs). C. Hernández-Goya, P. Caballero-Gil, J. Molina-Gil and C. Caballero-Gil. 11th International Conference on Computer Aided Systems Theory EUROCAST 2009. Las Palmas de Gran Canaria. 15-20 Febrero 2009. Editorial: ULPGC. ISBN: 84-689-0432-5.
  3. Coches que se Comunican. Entrevista a P. Caballero Gil por V. Martín publicada en Periódico “La Opinión de Tenerife”. 9 Marzo 2009.
  4. Cooperation Requirements for Packet Forwarding in Vehicular Ad-Hoc Networks (VANETs). C. Hernández-Goya, P. Caballero-Gil, J. Molina-Gil and C. Caballero-Gil. International Conference on Computer Systems and Technologies - CompSysTech’09. Rousse, Bulgaria. May 2009.
  5. Differentiated Services to Provide Efficient Node Authentication in VANETs. P. Caballero-Gil, C. Hernandez-Goya, A. Fúster-Sabater. Proceedings of the International Conference on Security and Management SAM (WorldComp2009). Las Vegas, Nevada, USA, July 13-16, 2009.
  6. Designing Communication-Oriented Node Authentication for VANETs. P. Caballero-Gil and C. Hernández-Goya. Poster. Proceedings of Mobiquitous - International Conference on Mobile and Ubiquitous Systems: Networks and Services. Toronto, Canada. July 13 - 16, 2009.
  7. Stream Cipher Design for Video Transmission in MANETS. Oscar Delgado-Mohatar, Amparo Fuster-Sabater. The 70th IEEE Vehicular Technology Conference. Anchorage, Alaska.  20 - 23 September 2009
  8. Stimulating Cooperation in Self-Organized Vehicular Networks. P. Caballero-Gil, J. Molina-Gil, C. Hernandez-Goya and C. Caballero-Gil. Proceedings of APCC IEEE Asia Pacific Conference on Communications. Shanghai, China, Oct.8-10, 2009.
  9. Flexible Authentication in Vehicular Ad hoc Networks. P. Caballero-Gil, C. Caballero-Gil, J. Molina-Gil and C. Hernández-Goya. Proceedings of APCC IEEE Asia Pacific Conference on Communications. Shanghai, China, Oct.8-10, 2009.
  10. Securing Vehicular Ad-Hoc Networks.  P. Caballero-Gil, C. Hernández-Goya and A. Fúster-Sabater. International Journal on Information Technologies & Security. Vol 1, pp. 25-36, 2009.
  11. A scaled test bench for vanets with RFID signalling. Alberto Peinado Domínguez; Jorge Munilla Fajardo; Andrés Ortiz García. Advances In Intelligent And Soft Computing,vol. 63, pp. 53 - 59, 2009.
  12. MUOVE: Mejora de la seguridad vial mediante la planificación, diseño e integración de servicios criptográficos en VANETs. Jezabel Molina Gil. Transnova. 6º Foro de Innovaciones Tecnológicas para el Transporte. 25-26 junio 2009. Las Palmas de Gran Canaria.
  13. A Scaled test bech for vanets with RFID Signalling.  Ortiz, A.; Peinado, A. 2nd Workshop on Computational Intelligence in Security for Information Systems. Burgos, Sept. 23-26, 2009.
  14. Flyweight authentication with forward and backward security.  Mike Burmester and Jorge Munilla. WISP Summit 2009, First workshop on Wirelessly Powered Sensor Networks and Computational RFID, November 3, 2009, Berkeley, California.
  15. Secure EPC Gen2 compliant Radio Frequency Identification. Mike Burmester, Breno de Medeiros, Jorge Munilla, and Alberto Peinado. 8th International Conference on AD-HOC Networks & Wireless, ADHOC-NOW 2009, Murcia, Spain, 22-25 September, 2009.
  16. A Flyweight RFID Authentication Protocol. Mike Burmester and Jorge Munilla. Workshop on RFID Security 2009, RFIDSec2009, Leuven, Belgium, June 30 - July 2, 2009.
  17. P. Caballero-Gil, C. Hernández-Goya. Self-Organized Authentication in Mobile Ad-hoc Networks. Journal of Communications and Networks. Vol. 11, No. 5, October 2009. Editorial: Korean Inst Communications Sciences. ISSN: 1229-2370. 2008 ISI JCR Impact Factor: 0.273
  18. A. Fúster-Sabater, M.E. Pazo-Robles, P. Caballero-Gil. A Simple Linearization of the Self-Shrinking Generator by means of Cellular Automata. Neural Networks. Available online 28 December 2009 doi:10.1016/j.neunet.2009.12.008. Editorial: Elsevier. ISSN: 0893-6080. 2008 ISI JCR Impact Factor: 2.656
  19. P. Caballero-Gil, A. Fúster-Sabater, C. Hernández-Goya. Graph-Based Approach to the Edit Distance Cryptanalysis of Irregularly Clocked Linear Feedback Shift Registers. Journal of Universal Computer Science. Vol. 15 Is. 15. 2009. Editorial: Graz Univ Technology. ISSN: 0948-695X. ISI JCR Impact Factor: 0,488
  20. A. Fúster-Sabater, P. Caballero-Gil. Synthesis of Cryptographic Interleaved Sequences by Means of Linear Cellular Automata. Applied Mathematics Letters. Elsevier Science. Vol. 22  Is: 10  pp. 1518-1524. 2009. Editorial: Elsevier. ISSN: 0893-9659. ISI JCR Impact Factor: 0.699
  21. P. Caballero-Gil, A. Fúster-Sabater. A Simple Attack on Some Clock-Controlled Generators. Computers and Mathematics with Applications. Elsevier Science.. Vol 58 Issue: 1 pp.179-188. 2009. Editorial: Elsevier. ISSN: 0898-1221. ISI JCR Impact Factor: 0.720
  22. P. Caballero-Gil, A. Fúster-Sabater, and M. Eugenia Pazo-Robles. New Attack Strategy for the Shrinking Generator. Journal of Research and Practice in Information Technology. Vol 41 Issue: 2 pp.181-190. 2009. Editorial: Australian Computer Society Inc. ISSN: 1443-458X. 2008 ISI JCR Impact Factor: 0.348
  23. J.Munilla, A.Peinado. Security flaw of Holbl et al.’s protocol. Computer Communications COMCOM3920. Vol: 32 (2009). pp. 736-739. Elsevier. DOI information: 10.1016/j.comcom.2008.11.034. ISI JCR Impact Factor: 0.884
  24. A Vision of Cooperation Tools for VANETs. J. Molina-Gil, P. Caballero-Gil, C. Caballero-Gil. Proceedings of the First International Workshop on Data Security and PrivAcy in wireless Networks. In conjunction with WoWMoM Workshop on Wireless Mobile Multimedia 2010. Montreal, QC, Canada 14-17 June 2010.
  25. P. Caballero-Gil, A. Fúster-Sabater, M.E. Pazo-Robles. Using Linear Difference Equations to Model Nonlinear Cryptographic Sequences. International Journal of Nonlinear Sciences and Numerical Simulation 11-5, 1-12. 2010. Freund Publishing House Ltd. ISSN: 1565-1339. ISI JCR Impact Factor: 8,479
  26. M.E. Pazo-Robles, A. Fúster-Sabater and P. Caballero-Gil. Linearization of the Alternating Step Generator in Terms of Cellular Automata. Proceedings of the International Conference on Scientific Computing (CSC). pp. 349-352. 2009. ISBN: 1-60132-098-1. Acceptance rate: 27%.. Indexada en Computing Research and Education (CORE), con ranking C. Indexada en CS Conference Rankings (0.93)
  27. A. Fúster-Sabater, P. Caballero-Gil, C. Hernández-Goya. Deterministic Cryptanalysis Of Some Stream Ciphers. Libro: Security in Information Systems, Proceedings of the 5th International Workshop on Security in Information Systems, WOSIS 2009, INSTICC Press.. pp. 2009. Presente en DBLP.uni-trier.de. ISBN: 978-989-8111-44-9
  28. A. Fúster-Sabater, P. Caballero-Gil and O. Delgado-Mohatar. Deterministic Computation of Pseudorandomness in Sequences of Cryptographic Application. Lecture notes in Computer Science. 2009. Springer-Verlag.. ISBN: 978-3-540-69838-8. Indexada en CiteSEER en puesto 1116: 0.05 (top 91.40%). Indexada en Computing Research and Education (CORE), con ranking A.
  29. M.E. Pazo-Robles, A. Fúster-Sabater, “Criptoanálisis del Generador Auto-Shrinking: Una Propuesta Práctica”. Actas del V Congreso Iberoamericano de Seguridad Informática, CIBSI’09, Montevideo, Uruguay, 16-18 Noviembre 2009. Gustavo Betarte, Jorge Ramió, Arturo Ribagorda (Eds): Ediciones Universidad de la República, Uruguay, Facultad de Ingeniería, Instituto de Computación, pp. 355-367, 2009.
  30. A. Fúster-Sabater, María Eugenia Pazo-Robles. “Tendencias actuales en cifrado en flujo: The eSTREAM Project”. Nuevos Avances en Criptografía y Seguridad de la Información, Sesión especial del Congreso de la Real Sociedad Matemática Española 2009, Oviedo, Febrero 2009. Ediciones y Publicaciones de la Universitat de Lleida, pp. 53-62. ISBN: 978-84-8409-277-3.
  31. J.Munilla. Capítulo: Distance-Bounding Protocols for RFID. Libro: Security in RFID and Sensor Networks. Auerbach Publications, CRC Press, Taylor & Francis Group. pp. 151-168. 3/23/2009. ISBN: 9781420068399.
  32. On Privacy and Integrity in Vehicular Ad Hoc Networks. P. Caballero-Gil, C. Caballero-Gil, J. Molina-Gil, A. Fuster-Sabater. Proceedings of the International Conference on Wireless Networks (ICWN'10). July 12-15, 2010, Las Vegas, USA.
  33. Group Proposal to Secure Vehicular Ad-Hoc networks. J. Molina-Gil, P. Caballero-Gil, C. Caballero-Gil. Proceedings of the International Conference on Security and Management SAM. July 12-15, 2010, Las Vegas, USA.
  34. Security in Commercial Applications of Vehicular Ad-Hoc Networks. P. Caballero-Gil, J. Molina-Gil, C. Caballero-Gil and C. Hernández-Goya. Lecture Notes in Computer Science. Financial Cryptography and Data Security '10. Springer-Verlag. 2010.
  35. Cooperative Approach To Self-Managed VANETs.  J. Molina-Gil, C. Caballero-Gil, P. Caballero-Gil. Proceedings of WINSYS 2010 – International Conference on Wireless Information Networks and Systems. July 26-28 Athens, Greece.
  36. Group Formation through Cooperating Nodes in VANETs. C. Caballero-Gil, P. Caballero-Gil, and J.Molina-Gil. Lecture Notes in Computer Science. CDVE 2010. The 6th International Conference on Cooperative Design, Visualization and Engineering. Mallorca,  Spain. September 2010, Springer-Verlag
  37. Reactive Groups for Cooperation in VANETs.  J.Molina-Gil, P. Caballero-Gil, and C. Caballero-Gil. Lecture Notes in Computer Science. CDVE 2010. The 6th International Conference on Cooperative Design, Visualization and Engineering. Mallorca,  Spain. September 2010, Springer-Verlag
  38. Gestión de Grupos en VANETs: Descripción de Fases. C. Caballero-Gil, P. Caballero-Gil, J. Molina-Gil, C. Hernández-Goya, A. Fúster-Sabater. Actas de la XI RECSI. Tarragona, 7-10 septiembre 2010
  39. Agregación de datos para autenticar información en VANETs. Jezabel M. Molina Gil, Pino Caballero Gil, Candelaria Hernández Goya, Cándido Caballero Gil. Actas de la XI RECSI. Tarragona, 7-10 septiembre 2010.
  40. French online technology magazine L'Atelier “Réseaux ad-hoc : récompenser les véhicules pour diffuser de la publicité”. 20 Mai 2010
  41. A. Fúster-Sabater, P. Caballero-Gil.  Chaotic Modelling of the Generalized Self-Shrinking Generator. Applied Soft Computing. doi:10.1016/j.asoc.2010.06.002. In press 2010. Editorial: Elsevier. ISSN: 1568-4946. ISI JCR Impact Factor: 2.415
  42. Pino Caballero-Gil and Candelaria Hernández-Goya. Efficient Public Key Certificate Management for Mobile Ad Hoc Networks. EURASIP Journal on Wireless Communications and Networking. Editorial: Hindawi. ISSN: 1687-1499. ISI JCR Impact Factor: 0.732. http://www.hindawi.com/journals/wcn/aip.935457.html       
  43. C. Caballero-Gil, P. Caballero-Gil, J. Molina-Gil. Knowledge Management Using Clusters in VANETs. Description, Simulation and Analysis. KMIS is part of IC3K, the International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management.  Valencia, October 25 - 28, 2010.
  44. Jezabel M. Molina-Gil, Pino Caballero-Gil, Candelaria Hernández-Goya, Cándido Caballero-Gil. Data Aggregation for Information Authentication in VANETs. IAS 2010 - Sixth International Conference on Information Assurance and Security pp.28. Atlanta,  USA, 23-25 agosto 2010, Editorial: IEEE COMPUTER SOC
  45. C. Caballero-Gil, P. Caballero-Gil, J. Molina-Gil. Tool to Simulate Groups in Vehicular Networks Using NS-2 and TraceGraph. 5th European Conference on Circuits and Systems for Communications (ECCSC’10). Belgrade, Serbia. November 23–25, 2010, Editorial: IEEE
  46. C. Caballero-Gil, P. Caballero-Gil, J. Molina-Gil. Using Groups to Reduce Communication Overhead in VANETs: Description and Analysis. The Second International Conference on Advances in P2P Systems. AP2PS 2010. Florence, Italy, October 25 - 30, 2010
  47. A. Fúster-Sabater and P. Caballero-Gil. Chaotic Cellular Automata with Cryptographic Application. Lecture Notes in Computer Science. Vol: 6350  pp.251-260. International Conference on Cellular Automata for Research and Industry ACRI2010. Italy, Sept. 21-24 2010
  48. A. Fúster Sabater, P. Caballero Gil. Características de Linealidad en Generadores de Secuencia Cifrante. Actas de la XI RECSI. Lugar celebración: Tarragona, 7-10 septiembre 2010
  49. J. Munilla, A. Peinado. Attacks on a Distance Bounding Protocol. Computer Communications, Elsevier, 33(7):884–889, May 2010.
  50. J. Munilla, A. Peinado: Enhanced low-cost RFID protocol to detect relay attacks. Wireless Communications and Mobile Computing 10(3): 361-371 (2010)
  51. J. Munilla, A. Ortiz, A. Peinado. Robotic vehicles to simulate RFID-based vehicular ad hoc networks. International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops. Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques. ACM. 2010
  52. A. Fúster-Sabater, O. Delgado-Mohatar, L. Brankovic: On the Linearity of Cryptographic Sequence Generators. ICCSA (2) 2010: 586-596. Indexada en CORE ranking C
  53. O. Delgado-Mohatar, J. M. Sierra, L. Brankovic, A. Fúster-Sabater: An Energy-Efficient Symmetric Cryptography Based Authentication Scheme for Wireless Sensor Networks. WISTP 2010: 332-339
  54. A. Peinado. El coche del futuro podrá leer las señales de tráfico. La Opinión de Málaga. 1 de agosto de 2010.
  55. O. Delgado, A. Fúster, J. M. Sierra. “A light-weight authentication scheme for wireless sensor networks”. Ad Hoc Networks. In press. (2010), doi:10.1016/j.adhoc.2010.08.020
  56. Perfomance Evaluation of Highly Efficient Techniques for Software Implementation of LFSR. O. Delgado, A. Fúster, J. M. Sierra. Computers and Electrical Engineering. In press 2010
  57. Security Issues in Vehicular Ad Hoc Networks. Pino Caballero-Gil. Book: Theory and Applications of Ad Hoc Networks. ISBN 978-953-7619-X-X. INTECH. 2010

Ý

Activities
  1. Primer Workshop Sobre Seguridad en VANETs. Universidad de La Laguna. Tenerife. 23-24 Enero 2009.
  2. Conferencia “Vehicular Ad-hoc NETwork. Authentication”  dentro del Seminario de Combinatoria y Comunicación Digital. Departamento de Ingeniería de la Información y de las Comunicaciones de la Universitat Autónoma de Barcelona.  13 Mar. 2009.
  3. Convenio de Colaboración con la empresa Ingeniería Electrónica Canaria S.L. para la realización conjunta de proyectos de investigación y otras actividades sobre Seguridad de Redes Inalámbricas. Firmado el 25 Jun 2009. Noticias en: Europa Press, Laguna Mensual
  4. Convenio de Colaboración entre el Grupo de Investigación CryptULL y Metropolitano de Tenerife S.A. para la realización conjunta de Proyectos de Investigación en Seguridad de Redes Vehiculares. Firmado el 8 Sept. 2009. Noticias en: Diario de Avisos, La Opinion, El Día, Laguna Mensual, Tranvía Tenerife, Plan de Transportes de Tenerife
  5. Segundo Workshop Sobre Seguridad en VANETs. Consejo Superior de Investigaciones Científicas. Madrid. 1 Oct. 2009
  6. Video "Utilización de Robots para pruebas de VANETs con señalizacion RFID". Grupo de Aplicación de las Tecnologías de la Información y Comunicaciones. Universidad de Málaga

 

  1. Financial Cryptography and Data Security '10. Tenerife, January 25-28, 2010
  2. Caballero-Gil, C. Caballero-Gil, J. Molina-Gil. Sistema de comunicaciones seguras en una red ad-hoc vehicular espontánea y autogestionada. Patent pending. Nº de solicitud: 201000865. 29 de Junio de 2010. Universidad de La Laguna
  3. P. Caballero-Gil. Exploiting Mobile Devices. "SCIENCE & POLICY FORUM on FET Flagships' Workshop. Brussels, 9 - 10 June 2010
  4. P. Caballero Gil.  Seguridad de las Comunicaciones en las Futuras Redes Vehiculares. VI Ciclo De Conferencias UPM TASSI. 9 de marzo de 2010.
  5. P. Caballero Gil. "Los guardianes de las comunicaciones". Creativa Canaria. Verónica Martín. 10 Aug 2010

Ý

Deliverables

Partial Report of Results on Authentication (1 Jan 2009 - 1 Jan 2010)

Partial Report of Results on Cifrado (1 Jan 2009 - 1 Jan 2010)

Partial Report of Results on Cooperación (1 Jan 2009 - 1 Jan 2010)

Partial Report of Results on RFID (1 Jan 2009 - 1 Jan 2010)

Ý