Authenticated Location-Aware Publish/Subscribe Services in Untrusted Outsourced Environments

Figure 4

An Example of procedures of filter-verification framework with inverted index pruning (partial).