Determining-Tolerable-Attack-Surfaces-that-Preserves-Safety-of-Cyber-Physical-Systems.pdf
License:
Creative Commons 2.5 
PDF document- 577.38 KB
- 72 downloads
- Download
- PDF version
- Printer-friendly version
- Safety
- tracking
- timed automata
- software fault tolerance
- Servers
- Security analysis
- security
- Safety-Critical Systems
- safety-critical software
- safety analysis
- attacker model
- railway signaling system
- Rail transportation
- parameterizable state automaton templates
- formal verification
- cyber-physical systems
- cyber-physical system safety
- cyber-physical system
- Communication system signaling
- automata
- Monitoring, Fusion, and Response for Cyber Resilience