SAFECOMP
2015
Springer
8 years 8 months ago
2015
Springer
The intricacy of socio-technical systems requires a careful planning and utilisation of security resources to ensure uninterrupted, secure and reliable services. Even though many s...
SAFECOMP
2015
Springer
8 years 8 months ago
2015
Springer
SAFECOMP
2015
Springer
8 years 8 months ago
2015
Springer
ICT is becoming a fundamental and pervasive component of critical infrastructures (CIs). Despite the advantages that it brings about, ICT also exposes CIs to a number of security a...
SAFECOMP
2015
Springer
8 years 8 months ago
2015
Springer
This paper addresses quantifying security risks associated with data assets within design models of embedded systems. Attack and system behaviours are modelled as time-dependent st...
SAFECOMP
2015
Springer
8 years 8 months ago
2015
Springer
Advanced Driver Assistance Systems (ADAS), like adaptive cruise control, collision avoidance systems, and, ultimately, piloted and autonomous driving are increasingly evolving into...
SAFECOMP
2015
Springer
8 years 8 months ago
2015
Springer
Abstract. This paper addresses the problem of high-assurance operation for medical cyber-physical systems built from interoperable medical devices. Such systems are different from...
SAFECOMP
2015
Springer
8 years 8 months ago
2015
Springer
Safety critical systems or applications must satisfy safety requirements ensuring that catastrophic consequences of combined component failures are avoided or kept below a satisfyi...
CANS
2015
Springer
8 years 8 months ago
2015
Springer
Existing work on data collection and analysis for aggregation is mainly focused on confidentiality issues. That is, the untrusted Aggregator learns only the aggregation result wit...
CANS
2015
Springer
8 years 8 months ago
2015
Springer
CANS
2015
Springer
8 years 8 months ago
2015
Springer
Abstract Following the line of work presented recently by Bellare, Paterson and Rogaway, we formalize and investigate the resistance of linear secret-sharing schemes to mass survei...