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.