QASA 2014

3rd International Workshop on Quantitative Aspects in Security Assurance
                   Affiliated workshop with ESORICS 2014
                      Wroclow, Poland, September 10-11, 2014

*NEWS: LNCS publication for post-proceedings!!*


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

*Important dates*:

Submission deadline for paper:        June 21 2014
Notification:                                         July 28 2014

*Workshop Organizers*:

     Alessandro Aldini, U. of Urbino
     Fabio Martinelli, IIT-CNR
     Neeraj Suri, TU Darmstadt

*Program Committee*:

     Lujo Bauer, CMU
     Frédéric Cuppens, ENST-Bretagne
     Jesus Luna, CSA
     Charles Morisset, U. of Newcastle
     Pierangela Samarati, U. of Milan
     Andrei Sabelfeld, Chalmers
     Herbert Wiklicky, ICL
     Jorge Cuellar, SIEMENS
     Javier Lopez, U. of Malaga
     Cathy Meadows, NRL
     Flemming Nielson, DTU
     Reijo Savola, VTT
     Ketil Stoelen, SINTEF
     Lorenzo Strigini, City Univ. London

*Programme and Proceedings*:

The program will consist of invited speakers as well as of submitted 
papers. The workshop post-proceedings will be published with LNCS 
Springer, in cooperation with DPM/SETOP workshops.


The workshop is sponsored by the EU FP7 projects  NESSoS, SESAMO and SPECS