Search Results for "security"

LedgerSMB is an ERP, featuring accounting (including AR, AP, and GL), quotation and order management, and more, for businesses with small to medium transaction volumes. The system has been shown to easily handle thousands of AR/AP transactions per week. Data integrity, security, quality, and responsiveness are key values for our community, both among the developers and, we hope, the users. Additionally we aim to make LedgerSMB into a platform to integrate with, or even serve as a framework for building, other applications. We highly value community contributions and aim to stimulate growth through a broad community by actively providing support and documentation.

The Security Workflow Analysis Tool (SWAT) is a platform for modelling and analyzing workflows. It comes with ananlysis approaches to search for data leaks in workflows.

Wolfgang is a lightweight tool that allows users to easily create and edit Petri nets and check them against general and workflow specific net properties. Specifically, Wolfgang supports full PNML conform editing functionality of Place-Transition Nets (P/T-Nets) and Colored Petri Nets (CPN) as they are defined in the SEPIA package. Its simple and easy to use interface allows to quickly create Petri nets from scratch, edit them graphically in many ways, store and even export them as PDFs. Use...

Servlet container extensions that help web developers write full featured Java web applications.