@Article{polymer-journal,
  author = 	 {Lujo Bauer and Jay Ligatti and David Walker},
  title = 	 {Composing Expressive Run-time Security Policies},
  journal =      {{ACM} Transactions on Software Engineering and Methodology},
  publisher =    {{ACM} Press},
  address =      {New York, NY, USA},
  url =          {http://www.cse.usf.edu/~ligatti/papers/polymer-tosem.pdf},
  note =         "To appear"
}