Basic concepts and taxonomy of dependable and secure computing | IEEE Journals & Magazine | IEEE Xplore