IEEE transactions on dependable and secure computing (IEEE Computer Society, 2004)