Verification of a Trusted Virtual Security Module

Ronald Tögl

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

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

Dieses zitieren