@Article{costmonitor:jcs15,
  author = 	 {Yannis Mallios and Lujo Bauer and Dilsun Kaynar and Fabio Martinelli and Charles Morisset},
  title = 	 {Probabilistic Cost Enforcement of Security Policies},
  journal = 	 {Journal of Computer Security},
  year = 	 {2015},
  xmonth =       nov,
  volume =       {23},
  number =       {6},
  pages =        {759--787},
  publisher =    {IOS Press},
  doi =          {10.3233/JCS-150538},
  keywords =     {run-time monitoring, language-based security},
  url =          {https://www.ece.cmu.edu/~lbauer/papers/2015/jcs2015-cost-monitors.pdf}
}