IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING Journal