DagRep.2.11.155.pdf
- Filesize: 0.68 MB
- 14 pages
Document
Analysis of Security APIs (Dagstuhl Seminar 12482)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 2, Issue 11
Volume: Dagstuhl Reports, Volume 2
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
- Publication Date: 2013-03-25
Cite AsGet BibTex
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)
https://doi.org/10.4230/DagRep.2.11.155
https://doi.org/10.4230/DagRep.2.11.155
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.
Keywords
- Security APIs
- cryptography
- key management
- formal methods
- security protocols
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads