Framework for security-related definition and reasoning.
The content of SERAM has been moved to the security-oriented workflow library SEWOL: https://sourceforge.net/projects/jawl/
SEARM provides support for the definition of access control policies, such as ACLs and RBAC models.
Additionally, it allows to specify inference policies and comprises techniques for reasoning about inferences and information distribution along a set of inference rules.