Assertion list for term "generated for the session".
Results from Ascent++: 1
encryption key (subgroup of key) → ReceivesAction → generated for the session 0.32