Formal and Semi-formal Methods for Application Specific Usage Control and Security http://127.0.0.1/xmlui/handle/123456789/1677 Sun, 26 Apr 2026 12:25:32 GMT 2026-04-26T12:25:32Z Formal and Semi-formal Methods for Application Specific Usage Control and Security http://127.0.0.1/xmlui/handle/123456789/1678 Formal and Semi-formal Methods for Application Specific Usage Control and Security P.V., Rajkumar Wed, 01 Aug 2012 00:00:00 GMT http://127.0.0.1/xmlui/handle/123456789/1678 2012-08-01T00:00:00Z