Formal and Semi-formal Methods for Application Specific Usage Control and Security

dc.contributor.author	P.V., Rajkumar
dc.date.accessioned	2013-01-22T07:08:00Z
dc.date.available	2013-01-22T07:08:00Z
dc.date.issued	2012-08
dc.identifier.govdoc	NB14655
dc.identifier.uri	http://10.17.250.203:8080/xmlui/handle/123456789/1678
dc.language.iso	en	en
dc.publisher	IIT Kharagpur	en
dc.subject	Usage Control	en
dc.title	Formal and Semi-formal Methods for Application Specific Usage Control and Security	en
dc.type	Thesis	en