Assertion list for term "used in the system of fig".
Results from Ascent++: 1
encryption key (subgroup of key) → ReceivesAction → used in the system of fig 0.35