Tiny application which allows encrypting basic text.
UNiform Interface to COmputing and data REsources
Compiled into a single .jar file. Tiny Password Manager. Portable
Security Workflow Analysis Tool
Java Library for workflow handling
Petri net framework for security related modeling and reasoning.
Tool for synthesizing business process logs.
Framework for security-related definition and reasoning.