KIT | KIT-Bibliothek | Impressum | Datenschutz

Symbolic universal composability

Böhl, Florian 1; Unruh, Dominique
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.3233/JCS-140523
Scopus
Zitationen: 3
Dimensions
Zitationen: 3
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2016
Sprache Englisch
Identifikator ISSN: 0926-227X, 1875-8924
KITopen-ID: 1000067798
Erschienen in Journal of computer security
Verlag IOS Press
Band 24
Heft 1
Seiten 1-38
Nachgewiesen in Scopus
Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page