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

by A Avizienis, J C Laprie, B Randell, C Landwehr
Venue:Journal of IEEE Transactions on Dependable and Secure Computing