Static analysis of software components for information flow security
Author(s) -
David Allen Louis Poxon
Publication year - 2021
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.5204/thesis.eprints.226908
Subject(s) - component (thermodynamics) , computer science , backporting , software engineering , software security assurance , software , component based software engineering , static program analysis , set (abstract data type) , security bug , code (set theory) , software construction , source code , leak , software development , computer security , programming language , engineering , information security , physics , environmental engineering , security service , thermodynamics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom