Call for Papers: QASA 2014
05 May 2014
3rd International Workshop on Quantitative Aspects in Security Assurance
Affiliated workshop with ESORICS 2014
Wroclow, Poland, September 10-11, 2014
https://www.iit.cnr.it/qasa2014/
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 Network of Excellence
- NESSoS (www.nessos-project.eu) and
- SESAMO (www.sesamo-project.eu).
Contact: qasa2014@iit.cnr.it