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