IEEE Transactions on Dependable and Secure Computing Journal