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.
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
{"_id":"oDbwTYtpQHSeJhouD","bibbaseid":"bollmann-lortz-mantel-starostin-anautomaticinferenceofminimalsecuritytypes-2015","downloads":0,"creationDate":"2017-11-25T00:20:57.526Z","title":"An Automatic Inference of Minimal Security Types.","author_short":["Bollmann, D.","Lortz, S.","Mantel, H.","Starostin, A."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/artem?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Bollmann"],"firstnames":["Dominik"],"suffixes":[]},{"propositions":[],"lastnames":["Lortz"],"firstnames":["Steffen"],"suffixes":[]},{"propositions":[],"lastnames":["Mantel"],"firstnames":["Heiko"],"suffixes":[]},{"propositions":[],"lastnames":["Starostin"],"firstnames":["Artem"],"suffixes":[]}],"booktitle":"ICISS","crossref":"conf/iciss/2015","editor":[{"propositions":[],"lastnames":["Jajodia"],"firstnames":["Sushil"],"suffixes":[]},{"propositions":[],"lastnames":["Mazumdar"],"firstnames":["Chandan"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/iciss/BollmannLMS15,\n author = {Bollmann, Dominik and Lortz, Steffen and Mantel, Heiko and Starostin, Artem},\n booktitle = {ICISS},\n crossref = {conf/iciss/2015},\n editor = {Jajodia, Sushil and Mazumdar, Chandan},\n ee = {http://dx.doi.org/10.1007/978-3-319-26961-0_24},\n interhash = {9d61c4e0bd575348e6ebd698889a04bf},\n intrahash = {8d508f4ffbf310895f670367f0075706},\n isbn = {978-3-319-26960-3},\n pages = {395-415},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n title = {An Automatic Inference of Minimal Security Types.},\n url = {http://dblp.uni-trier.de/db/conf/iciss/iciss2015.html#BollmannLMS15},\n volume = 9478,\n year = 2015\n}\n\n","author_short":["Bollmann, D.","Lortz, S.","Mantel, H.","Starostin, A."],"editor_short":["Jajodia, S.","Mazumdar, C."],"key":"conf/iciss/BollmannLMS15","id":"conf/iciss/BollmannLMS15","bibbaseid":"bollmann-lortz-mantel-starostin-anautomaticinferenceofminimalsecuritytypes-2015","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-319-26961-0_24","Paper":"http://dblp.uni-trier.de/db/conf/iciss/iciss2015.html#BollmannLMS15"},"downloads":0},"search_terms":["automatic","inference","minimal","security","types","bollmann","lortz","mantel","starostin"],"keywords":[],"authorIDs":[],"dataSources":["7supHakfuKN3wzsvy"]}