Automating Security Mediation Placement
Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, and Sanjit A. Seshia. Automating Security Mediation Placement. In Proc. European Symposium on Programming (ESOP), pp. 327–344, March 2010.
Download
Abstract
(unavailable)
BibTeX
@InProceedings{king-esop10, author = {Dave King and Susmit Jha and Divya Muthukumaran and Trent Jaeger and Somesh Jha and Sanjit A. Seshia}, title = {Automating Security Mediation Placement}, booktitle = {Proc. European Symposium on Programming (ESOP)}, pages = {327--344}, year = {2010}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, month = {March}, OPTnote = {}, }