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

[pdf] 

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 = 	 {},
}

Generated by bib2html.pl (written by Patrick Riley ) on Thu Aug 26, 2010 14:53:28