@InProceedings{ChadhaGMSV08, author = {Rohit Chadha and Carl A. Gunter and Jose Meseguer and Ravinder Shankesi and Mahesh Viswanathan}, title = {Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers}, booktitle = {{IFIP} Formal Methods for Open Object-based Distributed Systems ({FMOODS} '08)}, year = 2008, address = {Oslo, Norway}, month = {June} }