Lirong Dai Kendra Cooper Modeling and performance analysis for security aspects. 58-71 2006 61 Sci. Comput. Program. 1 http://dx.doi.org/10.1016/j.scico.2005.11.006 db/journals/scp/scp61.html#DaiC06