Benutzer: Gast  Login
Titel:

Automatic Security Checks on the Model Level

Autor(en):
Paul Muntean und Alexander Malkis
Abstract:
The working package AP 5.1.3 deals with descriptions of security requirements on the modeling level of UML statecharts as well as with automatic checking of UML statecharts against such descriptions. We use textual annotations to introduce information-flow constraints in UML stat- echarts. The constraints concern mainly authentication, declassification, and sanitization errors. The annotations are automatically loaded by information-flow checkers that check whether the imposed constraints h...     »
Jahr:
2016
Sprache:
en
 BibTeX