Verification of a Trusted Virtual Security Module

Ronald Tögl

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

Originalspracheenglisch
TitelAnalysis of Security APIs (Dagstuhl Seminar 12482)
ErscheinungsortDagstuhl
Herausgeber (Verlag)Schloss Dagstuhl - Leibniz-Zentrum für Informatik
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)
Land/GebietDeutschland
OrtDagstuhl
Zeitraum26/11/1228/11/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical
  • Experimental

Dieses zitieren