Assertion list
java applet (subgroup of applet ) → ReceivesAction
Results from Ascent++: 4
java applet → ReceivesAction → downloaded 0.55
java applet → ReceivesAction → signed 0.54
java applet → ReceivesAction → written in the java programming… 0.47
java applet → ReceivesAction → executed in sandbox 0.25