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

Description
Summary:	Ph.D

Similar Items