Reliability Improvement and Validation Framework

This report discusses the reliability validation and improvement framework developed by the SEI. The purpose of this framework is to provide a foundation for addressing the challenges of qualifying increasingly...

Network Monitoring for Web-Based Threats

This report provides detection and prevention methods to counter an approach that a focused attacker would need to take in order to breach an organization through web-based protocols.

Performance Analysis of WS-Security Mechanisms in SOAP-Based Web Services

This paper presents the results of a series of experiments targeted at analyzing the performance impact of adding WS-Security, a common security standard used in IdM frameworks, to SOAP-based web...

COVERT: A Framework for Finding Buffer Overflows in C Programs via Software Verification

This report presents COVERT, an automated framework aimed at finding buffer overflows in C programs using state-of-the-art software verification tools and techniques.

Making the Business Case for Software Assurance

This report provides guidance for those who want to make the business case for building software assurance into software products during each software development life-cycle activity.