1. A computer-readable storage medium encoded with computer-executable instructions that when executed by a processor cause said processor to perform a method, the method comprising: storing information regarding a directed labeled graph that comprises a plurality of vertices and a plurality of labeled edges connecting the vertices, each edge being defined by an ordered pair of the vertices and a label, wherein said graph is representative of an address translation map that comprises a plurality of pages, each page in said address translation map corresponding to a vertex of said graph, each reference within one page of said address translation map to another page of said address translation map corresponding to an edge of said graph, and a binary attribute associated with a reference corresponding to a label of the reference's corresponding edge, each label indicating whether the reference has the associated binary attribute; performing a first operation that changes said graph by removing or adding a vertex, removing or adding an edge, or changing the label of an edge; updating said information to reflect the change to said graph, wherein the change is based on a memory access policy; and determining whether a second operation may be performed based at least in part on said information regarding said directed label graph.