Verifying SeVeCom Using Set-based Abstraction

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    We formally analyze the Secure Vehicle Communication system developed by the EU-project SeVeCom, using the AIF framework which is based on a novel set-abstraction technique. The model involves the hardware security modules (HSMs) of a number of cars, a certication authority, and the protocols executed between them. Each participant stores a database of keys that can be added or deleted depending on the dierent operations. The AIF-framework allows us to model and automatically analyze such databases with- out bounding the number of steps that the system can make and, in contrast to previous approaches in protocol abstraction, can handle databases that do not monotonically grow (and thus allow for revocation of keys). We report on two new attacks found and verify that under some reasonable assumptions, the system is secure in a black-box cryptography model.
    Original languageEnglish
    Title of host publication2011 7th International Wireless Communications and Mobile Computing Conference (IWCMC)
    PublisherIEEE
    Publication date2011
    Pages1164-1169
    ISBN (Print)978-1-4244-9539-9
    DOIs
    Publication statusPublished - 2011
    Event7th International Wireless Communications and Mobile Computing Conference - Istanbul, Turkey
    Duration: 4 Jul 20118 Jul 2011
    Conference number: 7

    Conference

    Conference7th International Wireless Communications and Mobile Computing Conference
    Number7
    CountryTurkey
    CityIstanbul
    Period04/07/201108/07/2011

    Keywords

    • Vehicular communications
    • Abstract interpretation
    • Security protocol verication

    Cite this

    Mödersheim, S. A., & Modesti, P. (2011). Verifying SeVeCom Using Set-based Abstraction. In 2011 7th International Wireless Communications and Mobile Computing Conference (IWCMC) (pp. 1164-1169). IEEE. https://doi.org/10.1109/IWCMC.2011.5982705