Showing 1 - 10 of 34 results for the Publish Year - 2017
Watch Elli Kanal in this SEI Cyber Minute as he discusses
Learn how to architect effectively! This brochure describes the required courses and exam for the SEI Software Architecture Professional Certificate.
This brochure explains how the AADL enables early analysis and describes other benefits of using it to support system verification and validation.
This brochure describes the Architecture Analysis & Design Language and the Open Source AADL Tool Environment, two tools that support model-based engineering.
In this online download, the CERT Secure Coding Team describes the root causes of common software vulnerabilities, how they can be exploited, the potential consequences, and secure alternatives.
Watch Grace Lewis in this SEI Cyber Minute as she discusses
The 2004 SEI Annual Report describes the accomplishments of the SEI during Fiscal Year 2004, its 20th anniversary year.
In this paper we present an approach that eliminates that run-time overhead by constructing most of the MDP offline, also using formal specification. This paper was awarded Best Paper for the 13th IEEE International Conference, July 2016.
Watch Sagar Chaki in this SEI Cyber Minute as he discusses
In this paper, the authors describe the project that led to the creation of the U.S. Postal Service's CISO Academy.