Security is a very important issue in information processing, especially in open network environments like the Internet. The <i>Common Criteria</i> (CC) is the standard requirements catalogue for the evaluation of security critical systems. Using the CC, a large number of security requirements on the system itself and on the system development can be… (More)
There is a strong demand for techniques to aid development and modelling of security critical systems. Based on general security evaluation criteria, we show how to extend the system structure diagrams of the CASE tool ÙØÓÓÓÓÙ× (which are related to UML-RT collaboration diagrams) to allow modelling of security critical systems, in particular concerning… (More)
oder Entwurfsexperten kombiniert werden.
Refactoring is a technique for restructuring program code to improve its quality. This work adapts refactoring to the layer of design models of reactive systems by using a formal notion of behavior equivalence. Therefore the modeling language AutoFocus is exemplary used. We define a notion of equivalence of interface behavior under time abstraction. The… (More)