Getting the current user name in a jsp using tag library

In a jsp, using tag library how can I get the user name who has already been authenticated (session based authentication).

<domino:session id=“mySession” user=“???” password=“???”>

or how can I use the same session created when the user authenticates, in jsp code

Thanks in advance.