Vaadin, Shiro, and Push. Support classes to integrate Shiro with Vaadin 7.1+ push support. See http://mikepilone.blogspot.com/ for more information.

spring-shiro-context.xml

<bean id="sessionManager" 
    class="org.mpilone.util.shiro.VaadinSessionManager" />
  
  <bean id="securityManager" class="org.apache.shiro.mgt.DefaultSecurityManager"
    p:realm-ref="mpiloneRealm"
    p:sessionManager-ref="sessionManager" />
   
  <bean id="lifecycleBeanPostProcessor" class="org.apache.shiro.spring.LifecycleBeanPostProcessor"/>

  <bean id="mpiloneRealm" class="org.mpilone.util.shiro.MyCustomRealm" />

  <bean id="securityContext"
    class="org.mpilone.util.shiro.VaadinSecurityContext"
    p:securityManager-ref="securityManager" />