Fachbereich Informatik Institute for Software Technology
Institute für Software Technology

Research Group
Software Engineering



Diese Seite existiert nicht auf Deutsch



University of Koblenz-Landau

Department of Software Technology

Universitaetsstrasse 1
D-56070 Koblenz

Contact Person

Main Content

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.