KIT | KIT-Bibliothek | Impressum | Datenschutz

Immutability and Encapsulation for Sound OO Information Flow Control

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

Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2022
Sprache Englisch
Identifikator ISSN: 0164-0925, 1558-4593
KITopen-ID: 1000153467
HGF-Programm 46.23.03 (POF IV, LK 01) Engineering Security for Mobility Systems
Erschienen in ACM Transactions on Programming Languages and Systems
Verlag Association for Computing Machinery (ACM)
Band 45
Heft 1
Seiten Art.Nr. 3
Vorab online veröffentlicht am 02.12.2022
Nachgewiesen in Web of Science
OpenAlex
Scopus
Dimensions
Globale Ziele für nachhaltige Entwicklung Ziel 16 – Frieden, Gerechtigkeit und starke Institutionen

Postprint §
DOI: 10.5445/IR/1000153467
Veröffentlicht am 12.10.2023
Originalveröffentlichung
DOI: 10.1145/3573270
Scopus
Zitationen: 2
Web of Science
Zitationen: 2
Dimensions
Zitationen: 3
Seitenaufrufe: 122
seit 06.12.2022
Downloads: 41
seit 28.10.2023
Cover der Publikation
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page