Stelios Sidiroglou Angelos D. Keromytis Execution transactions for defending against software failures: use and evaluation. 77-91 2006 5 Int. J. Inf. Sec. 2 http://dx.doi.org/10.1007/s10207-006-0083-6 db/journals/ijisec/ijisec5.html#SidiroglouK06