Browse wiki

From Navigators

Jump to: navigation, search
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  +
Year 2016  +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 26 May 2017 17:33:41  +
hide properties that link here 
  No properties link to this page.


Enter the name of the page to start browsing from.
Personal tools
Navigators toolbox