Synthesis of Covert Sensor Attacks in Networked Discrete-Event Systems with Non-FIFO Channels.
Ruochen TaiLiyong LinYuting ZhuRong SuPublished in: CoRR (2021)
Keyphrases
- discrete event systems
- petri net
- complex systems
- model based diagnosis
- telecommunication networks
- failure diagnosis
- timed petri nets
- sensor data
- discrete event
- temporal constraints
- intrusion detection and prevention
- countermeasures
- sensor networks
- information flow
- watermarking scheme
- heavy traffic
- high speed
- data flow
- dynamic systems
- communication networks
- constraint satisfaction