Runtime Protection of Real-time Critical Control Applications against Known Threats
| Autor: | Martin Pinzger, Muhammad Taimoor Khan, Dimitrios Serpanos, Howard Shrobe |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Hardware and Architecture
business.industry Computer science Embedded system Control (management) 0202 electrical engineering electronic engineering information engineering Time critical 02 engineering and technology Electrical and Electronic Engineering business Software 020202 computer hardware & architecture |
| Zdroj: | IEEE Design & Test. 37:88-95 |
| ISSN: | 2168-2364 2168-2356 |
| DOI: | 10.1109/mdat.2020.3007729 |
| Popis: | With increasing complexity, connectivity, and programmability of embedded CPS devices, the potential cyber-attack surface has also been increasing making the study of related cyber-security issues highly relevant and timely. This article provides an efficient verification method for runtime applications with tight performance specifications. By considering classification and the declarative and definitive properties of different types of attacks, it is shown that a runtime security monitor can be generated to assure the security of application execution against known threats given the performance requirements. The methodology is applied in a healthcare application of insulin pump to regulate blood sugar level. — Farshad Khorrami, New York University |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|