PAPER ACCEPTED BY IEEE Transactions on Dependable and Secure Computing (IEEE TDSC)