Formal Deductive Verification of Security Protocol

dc.contributor.author	Shizra Sultan
dc.date.accessioned	2022-09-04T15:00:59Z
dc.date.available	2022-09-04T15:00:59Z
dc.date.issued	2015
dc.identifier.uri	http://10.250.8.41:8080/xmlui/handle/123456789/30301
dc.description	CL-T-4157	en_US
dc.description.sponsorship	Sup. Abdul Ghafoor	en_US
dc.language.iso	en	en_US
dc.publisher	SEECS	en_US
dc.subject	MS CCS SEECS 2015	en_US
dc.title	Formal Deductive Verification of Security Protocol	en_US
dc.type	Thesis	en_US