IEEE Transactions on Dependable and Secure Computing | IEEE Xplore