Peter G. Neumann. Achieving Principled Assuredly Trustworthy Composable Systems and Networks. In 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 22-24 April 2003, Washington, DC, USA. pages 182-187, IEEE Computer Society, 2003. [doi]
Abstract is missing.