Fred A. Bower Sule Ozev Daniel J. Sorin 297-310 2005 2 IEEE Trans. Dependable Sec. Comput. 4 http://doi.ieeecomputersociety.org/10.1109/TDSC.2005.44 db/journals/tdsc/tdsc2.html#BowerOS05