The design of modern software systems requires trading security
aspects with the expected performance.
Since most of the commonly used techniques carry out separately
dependability analysis and performance evaluation,the study of the
tradeoff between these aspects becomes hard to accomplish.
In this talk we present a component-oriented methodology that
can be used at the architectural design level for predicting the qualitative
and quantitative impact of individual components on system security and
performance.The methodology encompasses classical tools such as the behavioral
equivalences approach to noninterference analysisand standard performance
Strada le Grazie 15
VAT number 01541040232
Italian Fiscal Code 93009870234
© 2020 | Verona University | Credits