@Article{bauer+09:polymer,
  author = 	 {Lujo Bauer and Jay Ligatti and David Walker},
  title = 	 {Composing Expressive Runtime Security Policies},
  journal =      {ACM Transactions on Software Engineering and Methodology},
  year =         2009,
  month =        may,
  volume =       18,
  number =       3,
  doi =          {10.1145/1525880.1525882},
  copyright =    {ACM},
  publisher =    {ACM},
  url =          {https://www.ece.cmu.edu/~lbauer/papers/2009/tosem09-polymer.pdf},
  keywords =     {run-time monitoring, language-based security}
}