There is an increasing demand for techniques to deal with quantitative aspects of security assurance at several levels of the development life-cycle of systems & services, e.g., from requirements elicitation to run-time operation and maintenance. The aim of this workshop is to bring together researchers and practitioners interested in these research topics with a particular emphasis techniques for service oriented architectures. The scope of the workshop, is intended to be broad, including aspects as dependability, privacy, risk and trust.
Call for paper
Submission Topics
The list of topics includes, but it is not limited to:
Probabilistic/stochastic model checking
Quantitative information flow analysis
Quantitative issues in access and usage control
Security testing techniques
Static/Dynamic code analysis techniques
Metr
Submit Comment