QASA 2014
3rd International Workshop on Quantitative Aspects in Security Assurance
Affiliated workshop with ESORICS 2014
Wroclow, Poland, September 10-11, 2014
http://www.iit.cnr.it/qasa2014
*NEWS: LNCS publication for post-proceedings!!*
*Overview*
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.
*Sponsors*:
The workshop is sponsored by the EU FP7 projects NESSoS, SESAMO and SPECS