[WG-UMA] Analysis of the first "opt" box in the figure (was: RE: Trying to analyze "trust attacks")