GUPEA >
IT Faculty / IT-fakulteten >
Department of Computer Science and Engineering / Institutionen för data- och informationsteknik >
Doctoral Theses / Doktorsavhandlingar Institutionen för data- och informationsteknik >

Practical, Flexible programming with Information Flow Control


Please use this identifier to cite or link to this item: http://hdl.handle.net/2077/26534

Files in This Item:

File Description SizeFormat
gupea_2077_26534_1.pdfThesis1336KbAdobe PDF
View/Open
gupea_2077_26534_2.pdfDefence information and abstract53KbAdobe PDF
View/Open
Title: Practical, Flexible programming with Information Flow Control
Authors: Broberg, Niklas
E-mail: niklas.broberg@chalmers.se
Issue Date: 15-Aug-2011
University: Göteborgs universitet. IT-fakulteten
Institution: Department of Computer Science and Engineering ; Institutionen för data- och informationsteknik
Date of Defence: 2011-08-30
Disputation: Tisdagen den 30 augusti 2011, kl. 10.00, Hörsal HB4, Hörsalsvägen 8, Chalmers tekniska högskola
Degree: Doctor of Philosophy
Publication type: Doctoral thesis
Keywords: Computer security
Programming languages
Abstract: Mainstream mechanisms for protection of information security are not adequate. Most vulnerabilities today do not arise from deficiencies in network security or encryption mechanisms, but from software that fails to provide adequate protection for the information it handles. Programs are not prevented from revealing too much of their information to actors who can legitimately interact with them, and restricting access to the data is not a viable solution. What is needed is mechanisms that can con... more
ISSN: 0346-718X
URI: http://hdl.handle.net/2077/26534
Appears in Collections:Doctoral Theses / Doktorsavhandlingar Institutionen för data- och informationsteknik
Doctoral Theses from University of Gothenburg / Doktorsavhandlingar från Göteborgs universitet

This item has been viewed 1680 times.

 

 

© Göteborgs universitet 2011