Kalyanaraman Vaidyanathan Kishor S. Trivedi 124-137 2005 2 IEEE Trans. Dependable Sec. Comput. 2 http://dx.doi.org/10.1109/TDSC.2005.15 db/journals/tdsc/tdsc2.html#VaidyanathanT05