Basic Concepts and Taxonomy of Dependable and Secure Computing (2004)

by A Avizienis, J C Laprie, B Randell, C Landwehr
Venue:IEEE Trans. Dependable and Secure Computing