Assertion list
execution (aspect of applet ) → ReceivesAction
Results from Ascent++: 2
execution → ReceivesAction → allowed by the policy rules 0.68
execution → ReceivesAction → used with remote procedure calls 0.68