Securing functional programs with floating-label information-flow control

Dissertation, Chalmers tekniska högskola Göteborg, 2016

Bibliographische Detailangaben

1. Verfasser:	Buiras, Pablo (VerfasserIn)
Körperschaft:	Chalmers tekniska högskola (Grad-verleihende Institution)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Göteborg, Sweden Chalmers University of Technology 2016
Schriftenreihe:	Doktorsavhandlingar vid Chalmers tekniska högskola Ny serie nr. 4049 Technical report / Department of Computer Science and Engineering, Chalmers University of Technology D 125
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!