Ítem
Solo Metadatos

Enforcing full-stack memory-safety in cyber-physical systems

Mostrar el registro sencillo de la publicación
dc.creatorChekole E.G.spa
dc.creatorChattopadhyay S.spa
dc.creatorOchoa M.spa
dc.creatorHuaqun G.spa
dc.date.accessioned2020-05-25T23:56:48Z
dc.date.available2020-05-25T23:56:48Z
dc.date.created2018spa
dc.description.abstractMemory-safety attacks are one of the most critical threats against Cyber-Physical Systems (CPS). As opposed to mainstream systems, CPS often impose stringent timing constraints. Given such timing constraints, how can we protect CPS from memory-safety attacks? In this paper, we propose a full-stack memory-safety attack detection method to address this challenge. We also quantify the notion of tolerability of memory-safety overheads (MSO) in terms of the expected real-time constraints of a typical CPS. We implemented and evaluated our proposed solution on a real-world Secure Water Treatment (SWaT) testbed. Concretely, we show that our proposed solution incurs a memory-safety overhead of 419.91 µs, which is tolerable for the real-time constraints imposed by the SWaT system. Additionally, We also discuss how different parameters of a typical CPS will impact the execution time of the CPS computational logic and memory safety overhead. © Springer International Publishing AG, part of Springer Nature 2018.eng
dc.format.mimetypeapplication/pdf
dc.identifier.doihttps://doi.org/10.1007/978-3-319-94496-8_2
dc.identifier.urihttps://repository.urosario.edu.co/handle/10336/22524
dc.language.isoengspa
dc.publisherSpringer Verlagspa
dc.relation.citationEndPage26
dc.relation.citationStartPage9
dc.relation.citationTitleLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.relation.citationVolumeVol. 10953 LNCS
dc.relation.ispartofLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.10953 LNCS,(2018); pp. 9-26spa
dc.relation.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-85049363880&doi=10.1007%2f978-3-319-94496-8_2&partnerID=40&md5=c31e7be59f7e7a9b84575267eae2567bspa
dc.rights.accesRightsinfo:eu-repo/semantics/openAccess
dc.rights.accesoAbierto (Texto Completo)spa
dc.source.instnameinstname:Universidad del Rosariospa
dc.source.reponamereponame:Repositorio Institucional EdocURspa
dc.subject.keywordComputation theoryspa
dc.subject.keywordCyber Physical Systemspa
dc.subject.keywordEmbedded systemsspa
dc.subject.keywordLogic programmingspa
dc.subject.keywordReal time systemsspa
dc.subject.keywordWater treatmentspa
dc.subject.keywordAttack detectionspa
dc.subject.keywordComputational logicspa
dc.subject.keywordCyber-Physical System (CPS)spa
dc.subject.keywordExecution timespa
dc.subject.keywordMemory safetyspa
dc.subject.keywordReal time constraintsspa
dc.subject.keywordStack memoryspa
dc.subject.keywordTiming constraintsspa
dc.subject.keywordSafety engineeringspa
dc.titleEnforcing full-stack memory-safety in cyber-physical systemsspa
dc.typeconferenceObjecteng
dc.type.hasVersioninfo:eu-repo/semantics/publishedVersion
dc.type.spaDocumento de conferenciaspa
Archivos
Colecciones
Artículos