Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
logo
logo
Science of Security VO
  • Home
  • Archive
  • About
  • Search
  • Calendar
  • Members
  • Contact Us
  • Forums
  • Files
CPS-VO » Science of Security VO

Visible to the public Guardol: A Domain-Specific Language for Guards Supporting Strong Automated Formal Analysis

  • View
  • Properties
Submitted by TimTh on Mon, 05/16/2011 - 9:24am. Contributor:
  • Konrad Slind

Presented as part of the 2011 HCSS conference.

License: 
Creative Commons 2.5

Other available formats:

Guardol: A Domain-Specific Language for Guards Supporting Strong Automated Formal Analysis
Switch to normal viewerSwitch to experimental viewer
‹ Moving-Target Defense With Configuration-Space Randomization up Information Security: The Legacy of a Maginot Line in Cyberspace ›
  • PDF document
  • 611.57 KB
  • 422 downloads
  • Download
  • Printer-friendly version
  • Science of Security
  • Rockwell Collins
  • National HCSS Conference 2011
  • Industry
  • Presentation
  • HCSS '11
  • Science of Security (HCSS'11)
  • 2011 HCSS Conference: Science of Security Session

Terms of Use  |  ©2023. CPS-VO