Security Module: A portable extension for Java EE that provides a more comprehensive security API