Projection and Division: Linear-Space Verification of Firewalls.

Hrishikesh B. Acharya Mohamed G. Gouda

Published in: ICDCS (2010)

Keyphrases

linear space
space efficient
nearest neighbor search
external memory
data structure
probabilistic model
database
similarity measure
management system
arbitrary shape