Article (Scientific journals)
Security analysis of socio-technical physical systems
Lenzini, Gabriele; Mauw, Sjouke; Ouchani, Samir
2015In Computers electrical engineering
Peer reviewed
 

Files


Full Text
1-s2.0-S0045790615000671-main.pdf
Publisher postprint (2.73 MB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Socio-technical systems; Security assessment; Probabilistic verification
Abstract :
[en] Recent initiatives that evaluate the security of physical systems with objects as assets and people as agents – here called socio-technical physical systems – have limitations: their agent behavior is too simple, they just estimate feasibility and not the likelihood of attacks, or they do estimate likelihood but on explicitly provided attacks only. We propose a model that can detect and quantify attacks. It has a rich set of agent actions with associated probability and cost. We also propose a threat model, an intruder that can misbehave and that competes with honest agents. The intruder’s actions have an associated cost and are constrained to be realistic. We map our model to a probabilistic symbolic model checker and we express templates of security properties in the Probabilistic Computation Tree Logic, thus supporting automatic analysis of security properties. A use case shows the effectiveness of our approach.
Disciplines :
Computer science
Author, co-author :
Lenzini, Gabriele ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Mauw, Sjouke ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Ouchani, Samir ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
External co-authors :
no
Language :
English
Title :
Security analysis of socio-technical physical systems
Publication date :
06 April 2015
Journal title :
Computers electrical engineering
ISSN :
0045-7906
Publisher :
Pergamon
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 10 August 2015

Statistics


Number of views
170 (18 by Unilu)
Number of downloads
522 (12 by Unilu)

Scopus citations®
 
20
Scopus citations®
without self-citations
14
OpenCitations
 
15
WoS citations
 
14

Bibliography


Similar publications



Contact ORBilu