Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
logo
  • Home
  • Registration
  • Call for Presentations
  • Committee
  • Venue
  • Past Events
  • Submit
  • Files
CPS-VO » High Confidence Software and Systems Conference Series

Visible to the public 2006 HCSS Conference Proceedings

  • View
Submitted by Katie Dey on Wed, 12/04/2013 - 4:35pm

The 6th annual HCSS Conference was held April 17-19, 2006. The program agenda and slide presentations are listed below.

  • SPARK Language and Toolset: an intensive overview
  • Problems, Methods and Tools of Security Engineering
  • Verified Software: The Next Steps
  • Assured RTOS: Research Needs for Assured Real-Time Technology Infrastructure
  • DoD Software Assurance Concept of Operations
  • NSA Center for Assured Software
  • System-specific static bug finding: tricks, (bitter) experience, open problem.
  • Is Software Assurance an Oxymoron? Is Mathematics a Resolution?
  • Computer Security Education: Are we there yet?
  • Practical Verification & Safeguard Tools for C/C++ and Java
  • Function Extraction (FX) Technology: Automated Calculation of Program Behavior for Software Assurance
  • Buyer/Seller Approach to Validation Assurance
  • Verified Cryptographic Protocol Analysis: Vision and Status
  • High-Assurance Java Card Applets and Platform
  • Building Multilevel Secure Web Services-based Components for the Global Information Grid
  • Correct Specification of Java Code
  • Robust Verification Tools for Improved Secure System Evaluation
  • Defect Density Estimation Through Verification and Validation
  • Formalized Elliptic Curve Cryptography
  • Proving Separation for a Working Microkernel Implementation
SPARK Language and Toolset: an intensive overview ›
  • Printer-friendly version

Terms of Use  |  ©2021. CPS-VO