Formal Verification of Security Policy Implementations in Enterprise Networks.

Padmalochan Bera, Soumya Kanti Ghosh, Pallab Dasgupta

Browse the full ICISS paper archive.