published guidelines for composing a secure system in December 2004. [93]
With some of the same objectives, the Carnegie Mellon University
(CMU) Software Engineering Institute (SEI) sponsors the Predictable
Assembly from Certifiable Components (PACC) project, which aims to