Towards a Type System for Security APIs. Keighren, G., Aspinall, D., & Steel, G. In Proceedings of ARSPA-WITS, pages 173-192, 2009.
Towards a Type System for Security APIs [link]Paper  bibtex   
@inproceedings{ dblp2867396,
  title = {Towards a Type System for Security APIs},
  author = {Gavin Keighren and David Aspinall and Graham Steel},
  author_short = {Keighren, G. and Aspinall, D. and Steel, G.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2009},
  key = {dblp2867396},
  id = {dblp2867396},
  biburl = {http://www.dblp.org/rec/bibtex/conf/ifip1-7/KeighrenAS09},
  url = {http://dx.doi.org/10.1007/978-3-642-03459-6_12},
  conference = {ARSPA-WITS},
  pages = {173-192},
  text = {ARSPA-WITS 2009:173-192},
  booktitle = {Proceedings of ARSPA-WITS}
}

Downloads: 0