共 40 条
- [1] Abad FAT, 2016, IEEE INT C EMERG
- [2] Preserving Physical Safety Under Cyber Attacks [J]. IEEE INTERNET OF THINGS JOURNAL, 2019, 6 (04) : 6285 - 6300
- [3] Guaranteed Physical Security with Restart-Based Design for Cyber-Physical Systems [J]. 2018 9TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2018), 2018, : 10 - 21
- [4] Application and System-Level Software Fault Tolerance Through Full System Restarts [J]. 2017 ACM/IEEE 8TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), 2017, : 197 - 206
- [6] [Anonymous], 2003, P 9 C HOT TOP OP SYS
- [7] [Anonymous], 2004, OSDI 04
- [8] ARM Inc, 2018, ARM TRUSTZONE
- [9] Asarin E, 2003, LECT NOTES COMPUT SC, V2623, P20
- [10] Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1