Published in: Dagstuhl Reports, Volume 2, Issue 11 (2013)
Mike Bond, Riccardo Focardi, Sibylle Fröschle, and Graham Steel. Analysis of Security APIs (Dagstuhl Seminar 12482). In Dagstuhl Reports, Volume 2, Issue 11, pp. 155-168, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{bond_et_al:DagRep.2.11.155,
author = {Bond, Mike and Focardi, Riccardo and Fr\"{o}schle, Sibylle and Steel, Graham},
title = {{Analysis of Security APIs (Dagstuhl Seminar 12482)}},
pages = {155--168},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {2},
number = {11},
editor = {Bond, Mike and Focardi, Riccardo and Fr\"{o}schle, Sibylle and Steel, Graham},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.11.155},
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}
}
Feedback for Dagstuhl Publishing