IEEE transactions on dependable and secure computing