Making IBN Tractable by Enhanced Policy Verification: The NIPOV Algorithm.

Pedro Martinez-Julia, Ved P. Kafle, Hitoshi Asaeda, Diego R. Lpez, Antonio F. Skarmeta

Browse the full NetSoft paper archive.