Formal Analysis of Security Policy Implementations in Enterprise Networks

dc.contributor.author	Bera, Padmalochan
dc.date.accessioned	2011-05-24T11:25:42Z
dc.date.available	2011-05-24T11:25:42Z
dc.date.issued	2010-09
dc.identifier.govdoc	NB14368
dc.identifier.uri	http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/1048
dc.language.iso	en	en
dc.publisher	IIT Kharagpur	en
dc.subject	Enterprise Networks	en
dc.title	Formal Analysis of Security Policy Implementations in Enterprise Networks	en
dc.type	Thesis	en