Assertion list for term "designed to prevent message forgery".
Results from Ascent++: 1
protocol → ReceivesAction → designed to prevent message forgery 0.33