Basic Concepts and Taxonomy of Dependable and Secure Computing Publication Type: Journal Article Authors: Algirdas Avizienis; Jean-Claude Laprie; Brian Randell; Carl Landwehr Source: IEEE Transactions on Dependable and Secure Computing, Volume 1, Issue 1, p.11-33 (2004)