Abstract
|
The recent extensive development in Cyber- … The recent extensive development in Cyber-Physical Systems (CPSs) has lead to the emergence of new concerns regarding timeliness, safety and security properties. For decades, numerous vulnerabilities have put systems and applications at risk and CPSs are no exception. Noteworthy recurring issues are, for example, Buffer Overflows (BOs). We intend to deal with some types of BOs, other accidental faults and intended attacks by means of Non-Intrusive Runtime Verification (NIRV), to be accomplished through the design of a black-box observer and monitoring entity. Tackling security hazards can be enforced at different levels or granularities depending on how detailed our knowledge of the inner workings of the system and applications running on it is. We introduce solutions to detect and handle explicit attacks and accidental faults, focusing on completely null understanding of the analyzed environment's specificities, but also discussing scenarios where program mechanics and engineering are completely known. nics and engineering are completely known.
|
Address
|
Porto, Portugal +
|
Author
|
Inês Gouveia +
, José Rufino +
|
Booktitle
|
Proceedings of the 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS) +
|
Document
|
Document for Publication-Gouveia-2016-CERTS.pdf +
|
Key
|
Gouveia-2016-CERTS +
|
Month
|
dec +
|
Note
|
(co-located with the IEEE Real-Time Systems Symposium 2016 (RTSS 2016)) +
|
NumPubDate
|
2,016.12 +
|
Pages
|
19–24 +
|
Project
|
Project:COST Action IC1402 +
, Project:NORTH +
|
ResearchLine
|
Timeliness and Adaptation in Dependable Systems (TADS) +
|
Title
|
Enforcing safety and security through non-intrusive runtime verification +
|
Type
|
inproceedings +
|
Url
|
https://certs2016.uni.lu/content/download/1546/7818/version/1/file/CERTS+2016+Proceedings_web.pdf +
|
Year
|
2016 +
|
Categories |
Publication +
|
Modification dateThis property is a special property in this wiki.
|
26 May 2017 17:33:41 +
|