TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

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

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoLecture Notes in Computer Science
KustantajaSpringer Verlag
Sivut128-145
Sivumäärä18
ISBN (painettu)9783319194578
DOI - pysyväislinkit
TilaJulkaistu - 2015
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa
TapahtumaFormal Methods for Industrial Critical Systems - , Iso-Britannia
Kesto: 1 tammikuuta 2000 → …

Julkaisusarja

NimiLecture Notes in Computer Science
Vuosikerta9128
ISSN (painettu)0302-9743
ISSN (elektroninen)1611-3349

Conference

ConferenceFormal Methods for Industrial Critical Systems
MaaIso-Britannia
Ajanjakso1/01/00 → …

Tiivistelmä

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.

Julkaisufoorumi-taso