Zobrazeno 1 - 10
of 138
pro vyhledávání: '"runtime enforcement"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
IEEE Access, Vol 12, Pp 14385-14410 (2024)
The security of Cyber-Physical Systems (CPSs) is increasingly important as more and more of these systems are added to the Internet of Things (IoT). As we increase the complexity and connectivity of our smart systems, we likewise broaden their digita
Externí odkaz:
https://doaj.org/article/18b0b7399fe14dc2a10b2b1017999b4d
Publikováno v:
IEEE Access, Vol 11, Pp 18475-18498 (2023)
Cyber-Physical attacks (CP-attacks) are launched either from the cyber-space or from the physical-space to take control of a Cyber-Physical System (CPS). Unlike conventional cyber-attacks, which are prevented through new security patches as new attac
Externí odkaz:
https://doaj.org/article/3166f491d8474abebaf1adc85541d177
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
ACM Transactions on Privacy and Security. 26:1-41
With the advent of Industry 4.0 , industrial facilities and critical infrastructures are transforming into an ecosystem of heterogeneous physical and cyber components, such as programmable logic controllers , increasingly interconnected and therefore
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ad9db5eb159decea67f88278fbda0d58
https://doi.org/10.1145/3546579
https://doi.org/10.1145/3546579
Publikováno v:
Theoretical Computer Science. 890:125-146
We define a simple process calculus, based on Hennessy and Regan's Timed Process Language, for specifying networks of communicating programmable logic controllers (PLCs) enriched with monitors enforcing specification compliance at runtime. We define
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::568ef818731c593a4fe1af934681c686
https://doi.org/10.1016/j.tcs.2021.08.021
https://doi.org/10.1016/j.tcs.2021.08.021