NUST Institutions Library Catalogue catalog › Details for: Formal Design and verification of security protocol for VoIP

Normal view MARC view ISBD view

Formal Design and verification of security protocol for VoIP

By: Ubaid ur Rehman Material type: Text

TextPublisher: Islamabad NUST-SEECS 2015Description: 66 27cm.+ CD-ROMDDC classification: MSCCS-5 Online resources: Click here to access online

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Home library	Collection	Shelving location	Call number	Status	Barcode
Thesis	Central Library (CL)	Central Library (CL)		Thesis	005 MSCCS-5 (Browse shelf)	Available	CL-T-4102
Thesis	Central Library (CL)	Central Library (CL)		Thesis	621.378 (Browse shelf)	Available	CL-T-3678
Project Report	Central Library (CL)	Central Library (CL)	NFIC	General Stacks	MSCCS-5 UBA (Browse shelf)	Available	SEECSP01626

Total holds: 0

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	MSCCS-5 NOU Software build history dossier for development and testing	MSCCS-5 SHI Formal deductive verification of security protocol	MSCCS-5 SOH Android Secure storage (Securage)	MSCCS-5 UBA Formal Design and verification of security protocol for VoIP	MSCCS-5 YAS Security architecture for source code protection	MSCCS-6 FAR Semantics based security analytics for internet of things	MSCS-03 SAD Instance-Aware Simplification of Textured 3D Models	Next

Supervisors:Dr. Abdul Ghafoor Abbasi, Dr. Muhammad Awais Shibli, Dr. Nauman Ahmed Qureshi, Mr. Muhammad Qaisar Choudhary

There are no comments on this title.

to post a comment.