Skip to main content
Science of Security Virtual Organization

Header Menu

  • Research
    • Virtual Institutes
    • Lablets
    • Projects
    • Publications
  • HotSoS
  • Competitions
    • Cybersecurity Paper Competition
    • ISEF
  • Conferences
    • HCSS
    • HotSoS
    • C3E
Not a member? Forgot your password?

Hamburger Menu

  • Home
  • Projects
  • News
  • Events

Breadcrumb

  • Home /
  • /
  • Guardol: A Domain-Specific Language For Guards Supporting Strong Automat...

Guardol: A Domain-Specific Language for Guards Supporting Strong Automated Formal Analysis

Download
pdf

Presented as part of the 2011 HCSS conference.

Tags:
    Rockwell Collins
    Science of Security
    National HCSS Conference 2011
    Industry
    Presentation
    HCSS '11
    Science of Security (HCSS'11)
    2011 HCSS Conference: Science of Security Session
License: CC-2.5
Submitted by Timothy Thimmesch on Mon, 05/16/2011 - 08:24
Follow us on
© 2024 Science of Security Virtual Organization