Rohit Chadha Carl A. Gunter José Meseguer Ravinder Shankesi Mahesh Viswanathan Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. 39-58 2008 FMOODS http://dx.doi.org/10.1007/978-3-540-68863-1_4 conf/fmoods/2008 db/conf/fmoods/fmoods2008.html#ChadhaGMSV08