The TSF can refuse to let a user establish a session, based on attributes such as location, time or method of access. One component: FTA_TSE.1 TOE session establishment.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.