Tianjie Cao Elisa Bertino Hong Lei Security Analysis of the SASI Protocol. 73-77 2009 6 IEEE Trans. Dependable Sec. Comput. 1 http://dx.doi.org/10.1109/TDSC.2008.32 db/journals/tdsc/tdsc6.html#CaoBL09