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

attack detection mechanisms

biblio

Visible to the public Testing the Effectiveness of Attack Detection Mechanisms in Industrial Control Systems

Submitted by grigby1 on Mon, 03/05/2018 - 1:08pm
  • security of data
  • Industrial Control Systems
  • Integrated circuit modeling
  • legacy systems
  • Metrics
  • process invariants
  • pubcrawl
  • resilience
  • Resiliency
  • security
  • industrial control
  • security requirements
  • security specifications
  • software maintenance
  • timed automata
  • UPPAAL
  • Valves
  • water supply
  • water treatment
  • computer security
  • and Cyber Physical Systems
  • Attack detection
  • attack detection mechanisms
  • automata
  • automata theory
  • Clocks
  • coding theory
  • Compositionality
  • 6-stage operational water treatment plant
  • critical infrastructure
  • Cryptography
  • Cyber Attack Detection
  • cyber attack prevention
  • cyber security
  • formal methods
  • formal verification
  • ICs

Terms of Use  |  ©2023. CPS-VO