Design and analysis of security protocols using formal methods

dc.contributor.guide	Anitha, R
dc.coverage.spatial	Science and Humanities
dc.creator.researcher	V, Suresh Kumar
dc.date.accessioned	2019-03-19T04:43:13Z
dc.date.available	2019-03-19T04:43:13Z
dc.date.awarded	n.d.
dc.date.completed	2017
dc.date.registered	n.d.
dc.description.abstract	Abstract available
dc.description.note	Data not available
dc.format.accompanyingmaterial	None
dc.format.dimensions	21cm.
dc.format.extent	xvi, 164p.
dc.identifier.uri	http://hdl.handle.net/10603/232711
dc.language	Others
dc.publisher.institution	Faculty of Science and Humanities
dc.publisher.place	Chennai
dc.publisher.university	Anna University
dc.relation	154-163
dc.rights	university
dc.source.university	University
dc.subject.keyword	BANlogic
dc.subject.keyword	Countingphase
dc.subject.keyword	FODspace
dc.subject.keyword	Securityprotocols
dc.subject.keyword	Votingphase
dc.title	Design and analysis of security protocols using formal methods
dc.title.alternative
dc.type.degree	Ph.D.