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

Runge, Tobias ¹; Kittelmann, Alexander ¹; Servetto, Marco; Potanin, Alex; Schaefer, Ina

¹
¹ Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)

Postprint

DOI: 10.5445/IR/1000152436/post

Veröffentlicht am 12.10.2023

Originalveröffentlichung
DOI: 10.1007/978-3-031-17108-6_13

Scopus
Zitationen: 2

Dimensions
Zitationen: 1

Seitenaufrufe: 92
seit 09.11.2022

Downloads: 30
seit 28.10.2023

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