Assertion list for term "checked via reference and signature validation".
Results from Ascent++: 1
signature → ReceivesAction → checked via reference and signature validation 0.27