KIT | KIT-Bibliothek | Impressum

Symbolic universal composability

Böhl, Florian; Unruh, Dominique



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