IEEE Transactions on Dependable and Secure Computing (Institute of Electrical and Electronics Engineers,Inc., 2004)