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

safety hyperproperty

biblio

Visible to the public Runtime Verification of Hyperproperties for Deterministic Programs

Submitted by grigby1 on Mon, 11/02/2020 - 11:39am
  • pubcrawl
  • system monitoring
  • software doping
  • Software
  • security policies
  • security of data
  • security
  • Scalability
  • safety hyperproperty
  • Safety
  • runtime verification problem
  • runtime verification monitors
  • runtime verification
  • Runtime
  • data minimality
  • program verification
  • parametric monitor
  • noninterference
  • Monitoring
  • information-flow policies
  • information-flow
  • i/o systems security
  • i-o systems security
  • finite element analysis
  • Doping
  • deterministic input-output programs
  • deterministic algorithms

Terms of Use  |  ©2023. CPS-VO