STATIC VERIFICATION AND DYNAMIC ANALYSIS FRAMEWORK FOR INFORMATION FLOW CONTROL

Ph.D

Saved in:

Bibliographic Details
Main Author:	ADI YOGA SIDI PRABAWA
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2019
Subjects:	Static Verification, Dynamic Analysis, Information Flow, Framework, Hoare Logic, Path Sensitivity
Online Access:	https://scholarbank.nus.edu.sg/handle/10635/156090
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-156090
record_format	dspace
spelling	sg-nus-scholar.10635-1560902021-02-19T09:11:26Z STATIC VERIFICATION AND DYNAMIC ANALYSIS FRAMEWORK FOR INFORMATION FLOW CONTROL ADI YOGA SIDI PRABAWA COMPUTER SCIENCE CHIN WEI NGAN Static Verification, Dynamic Analysis, Information Flow, Framework, Hoare Logic, Path Sensitivity Ph.D DOCTOR OF PHILOSOPHY 2019-07-01T18:04:48Z 2019-07-01T18:04:48Z 2018-07-31 Thesis ADI YOGA SIDI PRABAWA (2018-07-31). STATIC VERIFICATION AND DYNAMIC ANALYSIS FRAMEWORK FOR INFORMATION FLOW CONTROL. ScholarBank@NUS Repository. https://scholarbank.nus.edu.sg/handle/10635/156090 en
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
language	English
topic	Static Verification, Dynamic Analysis, Information Flow, Framework, Hoare Logic, Path Sensitivity
spellingShingle	Static Verification, Dynamic Analysis, Information Flow, Framework, Hoare Logic, Path Sensitivity ADI YOGA SIDI PRABAWA STATIC VERIFICATION AND DYNAMIC ANALYSIS FRAMEWORK FOR INFORMATION FLOW CONTROL
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE ADI YOGA SIDI PRABAWA
format	Theses and Dissertations
author	ADI YOGA SIDI PRABAWA
author_sort	ADI YOGA SIDI PRABAWA
title	STATIC VERIFICATION AND DYNAMIC ANALYSIS FRAMEWORK FOR INFORMATION FLOW CONTROL
title_short	STATIC VERIFICATION AND DYNAMIC ANALYSIS FRAMEWORK FOR INFORMATION FLOW CONTROL
title_full	STATIC VERIFICATION AND DYNAMIC ANALYSIS FRAMEWORK FOR INFORMATION FLOW CONTROL
title_fullStr	STATIC VERIFICATION AND DYNAMIC ANALYSIS FRAMEWORK FOR INFORMATION FLOW CONTROL
title_full_unstemmed	STATIC VERIFICATION AND DYNAMIC ANALYSIS FRAMEWORK FOR INFORMATION FLOW CONTROL
title_sort	static verification and dynamic analysis framework for information flow control
publishDate	2019
url	https://scholarbank.nus.edu.sg/handle/10635/156090
_version_	1693115926437691392

STATIC VERIFICATION AND DYNAMIC ANALYSIS FRAMEWORK FOR INFORMATION FLOW CONTROL

Similar Items