共 50 条
[43]
The Chatty-Sensor: A Provably-covert Channel in Cyber Physical Systems
[J].
35TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSA),
2019,
:638-649
[44]
Detecting insider attacks in medical cyber-physical networks based on behavioral profiling
[J].
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE,
2020, 108
:1258-1266
[47]
From Design to Invariants: Detecting Attacks on Cyber Physical Systems
[J].
2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C),
2017,
:533-540
[48]
Sliding mode strategies for monitoring and compensation of cyber-attacks to Cyber-Physical Systems
[J].
IFAC PAPERSONLINE,
2020, 53 (02)
:5159-5164
[49]
Detecting Cyber-Attacks Against Cyber-Physical Manufacturing System: A Machining Process Invariant Approach
[J].
IEEE INTERNET OF THINGS JOURNAL,
2024, 11 (10)
:17602-17614
[50]
Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks
[J].
MODEL CHECKING SOFTWARE, SPIN 2022,
2022, 13255
:24-43