Visible to the public 3rd International Workshop on Quantitative Aspects in Security Assurance (QASA) 2014

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.

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
  • Metrics for security, trust and privacy
  • Incremental/modular security assurance analysis
  • Process compliance assurance techniques
  • Tool support for quantitative techniques for security assurance
  • Simulation techniques
  • Model-driven techniques for security, trust, risk and privacy
  • Assurance cases modelling and analysis


Photo credit: Aw58

Event Details
Wroclaw, Poland
Spotlight Slideshow Image: