User: Guest  Login
Author(s):
Paul Muntean und Alexander Malkis 
Title:
Automatic Security Checks on the Model Level 
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 constrai...    »
 
Year:
2016 
Language:
en