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