Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/156090
Title: STATIC VERIFICATION AND DYNAMIC ANALYSIS FRAMEWORK FOR INFORMATION FLOW CONTROL
Authors: ADI YOGA SIDI PRABAWA
Keywords: Static Verification, Dynamic Analysis, Information Flow, Framework, Hoare Logic, Path Sensitivity
Issue Date: 31-Jul-2018
Citation: ADI YOGA SIDI PRABAWA (2018-07-31). STATIC VERIFICATION AND DYNAMIC ANALYSIS FRAMEWORK FOR INFORMATION FLOW CONTROL. ScholarBank@NUS Repository.
Abstract: In this thesis, we explore both static and dynamic information flow control (IFC) system. In particular, we show that static IFC need not rely on type-based system but can be modelled as a logic-driven fashion using Hoare-like logic. We then show how this system can be improved to by separating explicit and implicit influence to increase path-sensitivity. Both out security-aware and path-sensitive security-aware systems are sound and correct with respect to non-interference. Our dynamic IFC supports higher-order functions and dynamic evaluation of code similar to JavaScript ‘eval’ without the need for higher-order Hoare-logic or string analyser by implementing a dynamic inline monitor. Finally, we evaluate our systems using manually verified micro-benchmarks to increase confidence in our implementation.
URI: https://scholarbank.nus.edu.sg/handle/10635/156090
Appears in Collections:Ph.D Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
PrabawaAYS.pdf1.56 MBAdobe PDF

OPEN

NoneView/Download

Page view(s)

20
checked on Sep 12, 2019

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.