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]](https://bibbase.org/img/filetypes/link.svg "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
{"_id":{"_str":"5277dc255e011a4c4b000162"},"__v":9,"authorIDs":["5461d3a38a9aab071c0000fe"],"author_short":["Keighren, G.","Aspinall, D.","Steel, G."],"bibbaseid":"keighren-aspinall-steel-towardsatypesystemforsecurityapis-2009","bibdata":{"title":"Towards a Type System for Security APIs","author":["Gavin Keighren","David Aspinall","Graham Steel"],"author_short":["Keighren, G.","Aspinall, D.","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","bibtex":"@inproceedings{ dblp2867396,\n title = {Towards a Type System for Security APIs},\n author = {Gavin Keighren and David Aspinall and Graham Steel},\n author_short = {Keighren, G. and Aspinall, D. and Steel, G.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2009},\n key = {dblp2867396},\n id = {dblp2867396},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ifip1-7/KeighrenAS09},\n url = {http://dx.doi.org/10.1007/978-3-642-03459-6_12},\n conference = {ARSPA-WITS},\n pages = {173-192},\n text = {ARSPA-WITS 2009:173-192},\n booktitle = {Proceedings of ARSPA-WITS}\n}","bibbaseid":"keighren-aspinall-steel-towardsatypesystemforsecurityapis-2009","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-03459-6_12"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/ifip1-7/KeighrenAS09","downloads":0,"keywords":[],"search_terms":["towards","type","system","security","apis","keighren","aspinall","steel"],"title":"Towards a Type System for Security APIs","year":2009,"dataSources":["dr4RoGMgaE4xScycE"]}