An Automatic Inference of Minimal Security Types. Bollmann, D., Lortz, S., Mantel, H., & Starostin, A. In Jajodia, S. & Mazumdar, C., editors, ICISS, volume 9478, of Lecture Notes in Computer Science, pages 395-415, 2015. Springer.
An Automatic Inference of Minimal Security Types. [link]Link  An Automatic Inference of Minimal Security Types. [link]Paper  bibtex   
@inproceedings{conf/iciss/BollmannLMS15,
  author = {Bollmann, Dominik and Lortz, Steffen and Mantel, Heiko and Starostin, Artem},
  booktitle = {ICISS},
  crossref = {conf/iciss/2015},
  editor = {Jajodia, Sushil and Mazumdar, Chandan},
  ee = {http://dx.doi.org/10.1007/978-3-319-26961-0_24},
  interhash = {9d61c4e0bd575348e6ebd698889a04bf},
  intrahash = {8d508f4ffbf310895f670367f0075706},
  isbn = {978-3-319-26960-3},
  pages = {395-415},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {An Automatic Inference of Minimal Security Types.},
  url = {http://dblp.uni-trier.de/db/conf/iciss/iciss2015.html#BollmannLMS15},
  volume = 9478,
  year = 2015
}

Downloads: 0