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

by A Avižienis, J Laprie, B Randell, C E Landwehr
Venue:IEEE Transactions on Dependable Secure Computing,