Formal Analysis of Security Policy Implementations in Enterprise Networks http://127.0.0.1/xmlui/handle/123456789/1047 Tue, 26 May 2026 01:09:38 GMT 2026-05-26T01:09:38Z Formal Analysis of Security Policy Implementations in Enterprise Networks http://127.0.0.1/xmlui/handle/123456789/1048 Formal Analysis of Security Policy Implementations in Enterprise Networks Bera, Padmalochan Wed, 01 Sep 2010 00:00:00 GMT http://127.0.0.1/xmlui/handle/123456789/1048 2010-09-01T00:00:00Z