FORMAL SECURITY ANALYSIS: SECRECY, AUTHENTICATION AND ATTESTATION

Ph.D

Saved in:

Bibliographic Details
Main Author:	LI LI
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2015
Subjects:	Formal Analysis, Security Protocol Verification, Secrecy, Authentication, Attestation
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/121984
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-121984
record_format	dspace
spelling	sg-nus-scholar.10635-1219842016-01-01T05:27:00Z FORMAL SECURITY ANALYSIS: SECRECY, AUTHENTICATION AND ATTESTATION LI LI COMPUTER SCIENCE DONG JIN SONG Formal Analysis, Security Protocol Verification, Secrecy, Authentication, Attestation Ph.D DOCTOR OF PHILOSOPHY 2015-12-31T18:02:02Z 2015-12-31T18:02:02Z 2015-07-20 Thesis LI LI (2015-07-20). FORMAL SECURITY ANALYSIS: SECRECY, AUTHENTICATION AND ATTESTATION. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/121984 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	Formal Analysis, Security Protocol Verification, Secrecy, Authentication, Attestation
spellingShingle	Formal Analysis, Security Protocol Verification, Secrecy, Authentication, Attestation LI LI FORMAL SECURITY ANALYSIS: SECRECY, AUTHENTICATION AND ATTESTATION
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE LI LI
format	Theses and Dissertations
author	LI LI
author_sort	LI LI
title	FORMAL SECURITY ANALYSIS: SECRECY, AUTHENTICATION AND ATTESTATION
title_short	FORMAL SECURITY ANALYSIS: SECRECY, AUTHENTICATION AND ATTESTATION
title_full	FORMAL SECURITY ANALYSIS: SECRECY, AUTHENTICATION AND ATTESTATION
title_fullStr	FORMAL SECURITY ANALYSIS: SECRECY, AUTHENTICATION AND ATTESTATION
title_full_unstemmed	FORMAL SECURITY ANALYSIS: SECRECY, AUTHENTICATION AND ATTESTATION
title_sort	formal security analysis: secrecy, authentication and attestation
publishDate	2015
url	http://scholarbank.nus.edu.sg/handle/10635/121984
_version_	1681095793113563136

FORMAL SECURITY ANALYSIS: SECRECY, AUTHENTICATION AND ATTESTATION

Similar Items