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

Science of Security Significant Paper

biblio

Visible to the public Reflections on Trusting Trust

Submitted by JColeman on Wed, 12/10/2014 - 12:54pm
  • Science of Security Significant Paper
biblio

Visible to the public Enforceable Security Policies

Submitted by JColeman on Wed, 12/10/2014 - 12:43pm
  • EM security policies
  • inlined reference monitors
  • proof carrying code
  • safety properties
  • SASI
  • Science of Security Significant Paper
  • security automata
  • security policies
biblio

Visible to the public Cryptography and Data Security

Submitted by JColeman on Wed, 12/10/2014 - 12:21pm
  • Science of Security Significant Paper
biblio

Visible to the public Protection in Operating Systems

Submitted by Heather Lucas on Wed, 11/26/2014 - 3:35pm
  • decidability
  • operating system
  • protection
  • protection system
  • Science of Security Significant Paper
  • Turing machine
biblio

Visible to the public A Lattice Model of Secure Information Flow

Submitted by Heather Lucas on Wed, 11/26/2014 - 3:20pm
  • Science of Security Significant Paper
  • protection
  • program certification
  • lattice
  • Information Flow
  • security
  • security class
biblio

Visible to the public Protection

Submitted by Heather Lucas on Wed, 09/17/2014 - 6:27pm
  • Science of Security Significant Paper

Terms of Use  |  ©2023. CPS-VO