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 >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2077/26534
|
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
gupea_2077_26534_1.pdf | Thesis | 1336Kb | Adobe PDF | ![]() View/Open |
gupea_2077_26534_2.pdf | Defence information and abstract | 53Kb | Adobe 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 |