How to obtain the logger user from servlet

["Davide" <davide.ficano@xxxxxx>]

I need to obtain the logged user name from a servlet.
The servlet is deployed into the portal context.

The authentication method is CAS.
Getting the "edu.yale.its.tp.cas.client.filter.user" session attribute
returns always null.

Sincerely yours,

davide