[jboss-dev-forums] [Design of JBoss Portal] - Retrieving credentials from session for single-sign-on.