Assertion list
access (aspect of applet ) → ReceivesAction
Results from Ascent++: 3
access → ReceivesAction → permitted 0.60
access → ReceivesAction → denied 0.34
access → ReceivesAction → granted 0.25