Applying finite state process algebra to formally specify a computational model of security requirements in the key2phone-mobile access solution

Sunil Chaudhary, Linfeng Li, Eleni Berki, Marko Helenius, Juha Kela, Markku Turunen

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    Abstrakti

    Key2phone is a mobile access solution which turns mobile phone into a key for electronic locks, doors and gates. In this paper, we elicit and analyse the essential and necessary safety and security requirements that need to be considered for the Key2phone interaction system. The paper elaborates on suggestions/solutions for the realisation of safety and security concerns considering the Internet of Things (IoT) infrastructure. The authors structure these requirements and illustrate particular computational solutions by deploying the Labelled Transition System Analyser (LTSA), a modelling tool that supports a process algebra notation called Finite State Process (FSP). While determining an integrated solution for this research study, the authors point to key quality factors for successful system functionality.

    AlkuperäiskieliEnglanti
    OtsikkoLecture Notes in Computer Science
    ToimittajatManuel Núñez, Matthias Güdemann
    KustantajaSpringer Verlag
    Sivut128-145
    Sivumäärä18
    ISBN (painettu)978-3-319-19457-8
    DOI - pysyväislinkit
    TilaJulkaistu - 2015
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa
    TapahtumaFormal Methods for Industrial Critical Systems -
    Kesto: 1 tammik. 2015 → …

    Conference

    ConferenceFormal Methods for Industrial Critical Systems
    Ajanjakso1/01/15 → …

    Tutkimusalat

    • Finite State Process
    • Formal model
    • Internet of Things
    • Labelled Transition System
    • Security requirements

    Julkaisufoorumi-taso

    • Jufo-taso 1

    Sormenjälki

    Sukella tutkimusaiheisiin 'Applying finite state process algebra to formally specify a computational model of security requirements in the key2phone-mobile access solution'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

    Siteeraa tätä