QR code

Formal Quantitative Tolerance of Cyber-Physical Systems Under Periodic Attacks

Cyber-physical systems are often safety- and security-critical systems with a broad attack surface. Among the diverse range of threats, periodic attacks are a special class of timed attacks in which attack windows and sleep windows alternate over repeated cycles to subtly disrupt system behavior. In...

Volledige beschrijving

Bewaard in:
Hoofdauteurs: Jian Xiang, Simone Tini, Ruggero Lanotte, Massimo Merro
Formaat: Artigo
Taal:Inglês
Gepubliceerd in: IEEE 2026-01-01
Reeks:IEEE Access
Onderwerpen:
Periodic attack
cyber-physical system
differential dynamic logic
quantitative safety
attack tolerance
invariant-based technique
Online toegang:https://ieeexplore.ieee.org/document/11611109/
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!

Gelijkaardige items