Secondary Content

Contact Person

Petri Net Approach to Software Security Engineering (PNASSE)

Project Description

Integration of Petri net research/study/work analysis technique, based on decomposition into clans, with UMLsec-Tool – a tool that provides project automatic verification of UML models and CARiSMA – extension of domain-specific languages, for modelling security properties.

Development of a new technique for model-driven software security engineering, entirely based on Petri net models, that does not require transformations of models which contracts the terms of software engineering and offers a consistent environment for software specification, security check, correctness prove, and running.