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
evaluation techniques.
Strada le Grazie 15
37134 Verona
Partita IVA01541040232
Codice Fiscale93009870234
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>