KIT | KIT-Bibliothek | Impressum | Datenschutz
Suche im KITopen-Katalog

Repository KITopen

Information Flow Control-by-Construction for an Object-Oriented Language

Runge, Tobias 1; Kittelmann, Alexander 1; Servetto, Marco; Potanin, Alex; Schaefer, Ina 1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)


Postprint §
DOI: 10.5445/IR/1000152436/post
Originalveröffentlichung
DOI: 10.1007/978-3-031-17108-6_13
Scopus
Zitationen: 2
Dimensions
Zitationen: 1
BibTeX (UTF-8) BibTeX (ASCII) EndNote/Refer (.enw) RIS CSL-JSON ISI
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2022
Sprache Englisch
Identifikator ISBN: 978-3-031-17108-6
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000152436
HGF-Programm 46.23.03 (POF IV, LK 01) Engineering Security for Mobility Systems
Erschienen in Software Engineering and Formal Methods – 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings. Ed.: B.-H. Schlingloff
Veranstaltung 20th International Conference on Software Engineering and Formal Methods (SEFM 2022), Berlin, Deutschland, 26.09.2022 – 30.09.2022
Verlag Springer International Publishing
Seiten 209–226
Serie Lecture Notes in Computer Science (LNCS) ; 13550
Vorab online veröffentlicht am 01.10.2022
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page