License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.2.11.155
URN: urn:nbn:de:0030-drops-39832
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2013/3983/
Bond, Mike ;
Focardi, Riccardo ;
Fröschle, Sibylle ;
Steel, Graham
Weitere Beteiligte (Hrsg. etc.): Mike Bond and Riccardo Focardi and Sibylle Fröschle and Graham Steel
Analysis of Security APIs (Dagstuhl Seminar 12482)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12482 "Analysis of Security APIs". Abstracts from the talks give a snapshot of current research in the field, while reports on the discussions give a roadmap for future research in the area.
BibTeX - Entry
@Article{bond_et_al:DR:2013:3983,
author = {Mike Bond and Riccardo Focardi and Sibylle Fr{\"o}schle and Graham Steel},
title = {{Analysis of Security APIs (Dagstuhl Seminar 12482)}},
pages = {155--168},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {2},
number = {11},
editor = {Mike Bond and Riccardo Focardi and Sibylle Fr{\"o}schle and Graham Steel},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2013/3983},
URN = {urn:nbn:de:0030-drops-39832},
doi = {10.4230/DagRep.2.11.155},
annote = {Keywords: Security APIs, cryptography, key management, formal methods, security protocols}
}
Keywords: |
|
Security APIs, cryptography, key management, formal methods, security protocols |
Collection: |
|
Dagstuhl Reports, Volume 2, Issue 11 |
Issue Date: |
|
2013 |
Date of publication: |
|
25.03.2013 |