Seve: Automatic tool for verification of security protocols

Master's

Saved in:

Bibliographic Details
Main Author:	LUU ANH TUAN
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2011
Subjects:	Formal Verification, Security Protocols, Authentication, Secrecy, Privacy, Knowledge Reasoning
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/27466
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-27466
record_format	dspace
spelling	sg-nus-scholar.10635-274662015-01-06T18:20:37Z Seve: Automatic tool for verification of security protocols LUU ANH TUAN COMPUTER SCIENCE Formal Verification, Security Protocols, Authentication, Secrecy, Privacy, Knowledge Reasoning Master's MASTER OF SCIENCE 2011-09-30T18:00:22Z 2011-09-30T18:00:22Z 2011-06-27 Thesis LUU ANH TUAN (2011-06-27). Seve: Automatic tool for verification of security protocols. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/27466 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	Formal Verification, Security Protocols, Authentication, Secrecy, Privacy, Knowledge Reasoning
spellingShingle	Formal Verification, Security Protocols, Authentication, Secrecy, Privacy, Knowledge Reasoning LUU ANH TUAN Seve: Automatic tool for verification of security protocols
description	Master's
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE LUU ANH TUAN
format	Theses and Dissertations
author	LUU ANH TUAN
author_sort	LUU ANH TUAN
title	Seve: Automatic tool for verification of security protocols
title_short	Seve: Automatic tool for verification of security protocols
title_full	Seve: Automatic tool for verification of security protocols
title_fullStr	Seve: Automatic tool for verification of security protocols
title_full_unstemmed	Seve: Automatic tool for verification of security protocols
title_sort	seve: automatic tool for verification of security protocols
publishDate	2011
url	http://scholarbank.nus.edu.sg/handle/10635/27466
_version_	1681080583217741824

Seve: Automatic tool for verification of security protocols

Similar Items