Immutability and Encapsulation for Sound OO Information Flow Control

Runge, Tobias ¹; 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/1000153467

Veröffentlicht am 12.10.2023

Originalveröffentlichung
DOI: 10.1145/3573270

Scopus
Zitationen: 2

Web of Science
Zitationen: 1

Dimensions
Zitationen: 3

Seitenaufrufe: 94
seit 06.12.2022

Downloads: 23
seit 28.10.2023

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 Dimensions Scopus