The CBS shall invalidate session identifiers at logout or any other end of session, browser sessions included. (from SR 3.8 RE 1 of IEC 62443-3-3; applies only to CBSs that talk to untrusted networks)
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.