IEEE Transactions on Dependable and Secure Computing