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
Partita IVA 01541040232
Codice Fiscale 93009870234
© 2020 | Università degli studi di Verona | Credits