| View: | Hide Browser | Browser on the left | Browser on the right | Dictionary |
| Report: | General Info |
| General Info | |
| Name | <unnamed> |
| Action Type | uninterpreted |
| Sender | <unnamed> |
| Receiver | <unnamed> |
| Collaboration | User Login |
| General Info | |
| Name | Authenticate User |
| Type | uninterpreted |
| Asynchronous | false |
| Owner | <unnamed> |