Sprungmarken

Servicenavigation

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

Research Group
Software Engineering

Hauptnavigation


Bereichsnavigation



Diese Seite existiert nicht auf Deutsch

Nebeninhalt

Contact

University of Koblenz-Landau

Institute for Computer Science

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.