Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • Browse
    • Calendar
    • Announcements
    • Repositories
    • Groups
  • Search
    • Search for Content
    • Search for a Group
    • Search for People
    • Search for a Project
    • Tagcloud
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

Communication system signaling

file

Visible to the public Determining-Tolerable-Attack-Surfaces-that-Preserves-Safety-of-Cyber-Physical-Systems.pdf

Submitted by Heather Lucas on Wed, 01/29/2020 - 7:10pm
  • 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
biblio

Visible to the public Determining Tolerable Attack Surfaces that Preserves Safety of Cyber-Physical Systems

Submitted by Heather Lucas on Wed, 01/29/2020 - 7:10pm
  • Rail transportation
  • timed automata
  • attacker model
  • safety analysis
  • cyber-physical system
  • tracking
  • Communication system signaling
  • security
  • automata
  • Servers
  • cyber-physical systems
  • Safety
  • parameterizable state automaton templates
  • cyber-physical system safety
  • railway signaling system
  • Security analysis
  • Safety-Critical Systems
  • software fault tolerance
  • safety-critical software
  • formal verification
  • Human Behavior
  • Policy-Governed Secure Collaboration
  • Resilient Architectures
  • UIUC
  • Monitoring, Fusion, and Response for Cyber Resilience

Terms of Use  |  ©2023. CPS-VO