FORMALLY ANALYZING AND VERIFYING SECURE SYSTEM DESIGN AND IMPLEMENTATION

Ph.D

Saved in:

Bibliographic Details
Main Author:	BAI GUANGDONG
Other Authors:	NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG
Format:	Theses and Dissertations
Language:	English
Published:	2015
Subjects:	Security, Formal Analysis, Model Checking, Authentication, Trusted Computing, Android
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/120112
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-120112
record_format	dspace
spelling	sg-nus-scholar.10635-1201122024-10-26T00:33:19Z FORMALLY ANALYZING AND VERIFYING SECURE SYSTEM DESIGN AND IMPLEMENTATION BAI GUANGDONG NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG DONG JIN SONG LIANG ZHENKAI Security, Formal Analysis, Model Checking, Authentication, Trusted Computing, Android Ph.D DOCTOR OF PHILOSOPHY 2015-06-30T18:01:00Z 2015-06-30T18:01:00Z 2015-02-17 Thesis BAI GUANGDONG (2015-02-17). FORMALLY ANALYZING AND VERIFYING SECURE SYSTEM DESIGN AND IMPLEMENTATION. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/120112 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
language	English
topic	Security, Formal Analysis, Model Checking, Authentication, Trusted Computing, Android
spellingShingle	Security, Formal Analysis, Model Checking, Authentication, Trusted Computing, Android BAI GUANGDONG FORMALLY ANALYZING AND VERIFYING SECURE SYSTEM DESIGN AND IMPLEMENTATION
description	Ph.D
author2	NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG
author_facet	NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG BAI GUANGDONG
format	Theses and Dissertations
author	BAI GUANGDONG
author_sort	BAI GUANGDONG
title	FORMALLY ANALYZING AND VERIFYING SECURE SYSTEM DESIGN AND IMPLEMENTATION
title_short	FORMALLY ANALYZING AND VERIFYING SECURE SYSTEM DESIGN AND IMPLEMENTATION
title_full	FORMALLY ANALYZING AND VERIFYING SECURE SYSTEM DESIGN AND IMPLEMENTATION
title_fullStr	FORMALLY ANALYZING AND VERIFYING SECURE SYSTEM DESIGN AND IMPLEMENTATION
title_full_unstemmed	FORMALLY ANALYZING AND VERIFYING SECURE SYSTEM DESIGN AND IMPLEMENTATION
title_sort	formally analyzing and verifying secure system design and implementation
publishDate	2015
url	http://scholarbank.nus.edu.sg/handle/10635/120112
_version_	1821190876354838528

FORMALLY ANALYZING AND VERIFYING SECURE SYSTEM DESIGN AND IMPLEMENTATION

Similar Items