Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Home
Archive
Registration
Program
Call for Presentations
Committee
Venue
Past Events
Submit
Files
CPS-VO
»
High Confidence Software and Systems Conference Series
» SCIENCE OF SECURITY (HCSS'11)
Science of Security (HCSS'11)
file
Moving-Target Defense With Configuration-Space Randomization
Submitted by TimTh on Thu, 05/26/2011 - 7:38pm. Contributor:
Sanjai Narain
Presented as part of the
2011 HCSS conference
.
Science of Security
Telcordia Technologies
National HCSS Conference 2011
Industry
Presentation
HCSS '11
Science of Security (HCSS'11)
file
The Open World Framework
Submitted by TimTh on Thu, 05/26/2011 - 5:28pm. Contributor:
Sujata Millick
Presented as part of the
2011 HCSS conference
.
Science of Security
HP Labs
National HCSS Conference 2011
Industry
Presentation
HCSS '11
Science of Security (HCSS'11)
2011 HCSS Conference: Science of Security Session
file
Designed-In Security
Submitted by Carl Landwehr on Mon, 05/16/2011 - 8:27am. Contributor:
Carl Landwehr
Presented as part of the
2011 HCSS conference
.
Science of Security
National HCSS Conference 2011
Presentation
HCSS '11
Science of Security (HCSS'11)
2011 HCSS Conference: Science of Security Session
file
Information Security: The Legacy of a Maginot Line in Cyberspace
Submitted by TimTh on Mon, 05/16/2011 - 8:26am. Contributor:
Doug DePeppe
Presented as part of the
2011 HCSS conference
.
Science of Security
i2IS Cyberspace Solutions
National HCSS Conference 2011
Industry
Presentation
HCSS '11
Science of Security (HCSS'11)
2011 HCSS Conference: Science of Security Session
file
Guardol: A Domain-Specific Language for Guards Supporting Strong Automated Formal Analysis
Submitted by TimTh on Mon, 05/16/2011 - 8:24am. Contributor:
Konrad Slind
Presented as part of the
2011 HCSS conference
.
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
file
Enforcing Information Flow Policies via Generation of Monitors in Java Card Runtime Environments
Submitted by TimTh on Mon, 05/16/2011 - 8:23am. Contributor:
Alessandro Coglio
Presented as part of the
2011 HCSS conference
.
Science of Security
Kestrel Institute
National HCSS Conference 2011
Industry
Presentation
HCSS '11
Science of Security (HCSS'11)
file
Dynamic Enforcement of Knowledge-Based Security Policies
Submitted by TimTh on Sat, 05/14/2011 - 7:22pm. Contributor:
Stephen Magill
Presented as part of the
2011 HCSS conference
.
Science of Security
University of Maryland
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Science of Security (HCSS'11)
