Session keys are changed through a defined procedure with controlling and controlled station state machines and directives for session key management, the controlling station issuing new session keys at an interval or message count so that a captured key has bounded value.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.