Each user is authenticated before the module allows any other action on their behalf. The standard's application note for this SFR sets how its operations are to be completed for a QKD module.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.