Verification of a Trusted Virtual Security Module

Ronald Tögl

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelAnalysis of Security APIs (Dagstuhl Seminar 12482)
ErscheinungsortDagstuhl
Herausgeber (Verlag)Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Seiten166-166
DOIs
PublikationsstatusVeröffentlicht - 2013
VeranstaltungAnalysis of Security APIs (Dagstuhl Seminar 12482) - Dagstuhl, Deutschland
Dauer: 26 Nov 201228 Nov 2012

Publikationsreihe

NameDagstuhl Reports
Herausgeber (Verlag)Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik

Konferenz

KonferenzAnalysis of Security APIs (Dagstuhl Seminar 12482)
LandDeutschland
OrtDagstuhl
Zeitraum26/11/1228/11/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical
  • Experimental

Dies zitieren

Tögl, R. (2013). Verification of a Trusted Virtual Security Module. in Analysis of Security APIs (Dagstuhl Seminar 12482) (S. 166-166). (Dagstuhl Reports). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH. https://doi.org/10.4230/DagRep.2.11.155

Verification of a Trusted Virtual Security Module. / Tögl, Ronald.

Analysis of Security APIs (Dagstuhl Seminar 12482). Dagstuhl : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2013. S. 166-166 (Dagstuhl Reports).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Tögl, R 2013, Verification of a Trusted Virtual Security Module. in Analysis of Security APIs (Dagstuhl Seminar 12482). Dagstuhl Reports, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl, S. 166-166, Dagstuhl, Deutschland, 26/11/12. https://doi.org/10.4230/DagRep.2.11.155
Tögl R. Verification of a Trusted Virtual Security Module. in Analysis of Security APIs (Dagstuhl Seminar 12482). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH. 2013. S. 166-166. (Dagstuhl Reports). https://doi.org/10.4230/DagRep.2.11.155
Tögl, Ronald. / Verification of a Trusted Virtual Security Module. Analysis of Security APIs (Dagstuhl Seminar 12482). Dagstuhl : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2013. S. 166-166 (Dagstuhl Reports).
@inproceedings{03c4f763c8a6493faf45a66539887f3f,
title = "Verification of a Trusted Virtual Security Module",
author = "Ronald T{\"o}gl",
year = "2013",
doi = "10.4230/DagRep.2.11.155",
language = "English",
series = "Dagstuhl Reports",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik GmbH",
pages = "166--166",
booktitle = "Analysis of Security APIs (Dagstuhl Seminar 12482)",
address = "Germany",

}

TY - GEN

T1 - Verification of a Trusted Virtual Security Module

AU - Tögl, Ronald

PY - 2013

Y1 - 2013

UR - http://drops.dagstuhl.de/opus/volltexte/2013/3983/

U2 - 10.4230/DagRep.2.11.155

DO - 10.4230/DagRep.2.11.155

M3 - Conference contribution

T3 - Dagstuhl Reports

SP - 166

EP - 166

BT - Analysis of Security APIs (Dagstuhl Seminar 12482)

PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

CY - Dagstuhl

ER -