@InProceedings{costmonitor:stm13,
  author = 	 {Yannis Mallios and Lujo Bauer and Dilsun Kaynar and Fabio Martinelli and Charles Morisset},
  title = 	 {Probabilistic Cost Enforcement of Security Policies},
  booktitle =    {Security and Trust Management: 9th International Workshop, STM 2013, Proceedings},
  pages =        144--159,
  year = 	 {2013},
  series =       {Lecture Notes in Computer Science},
  volume =       {8203},
  month =         sep,
  publisher =    {Springer},
  url =          {https://www.ece.cmu.edu/~lbauer/papers/2013/stm2013-cost-monitoring.pdf},
  doi =          {10.1007/978-3-642-41098-7_10},
  copyright =    {Springer-Verlag},
  keywords =     {run-time monitoring, language-based security}
}