[TYPES/announce] CfP QASA2014: 3rd Intl. Workshop on Quantitative Aspects of Security Assurance

[Alessandro Aldini]

3rd  Intl. Workshop on Quantitative Aspects of Security Assurance (QASA)
September 10-11, 2014 (affiliated workshop with ESORICS 2014)

http://www.iit.cnr.it/qasa2014

Overview:
There is increasing need to provide quantification of security assurance
over the multi-level development life-cycle of systems & services, e.g.,
from requirements elicitation to run-time operation and maintenance.
Addressing such quantitative aspects, the QASA workshop aims to bring
together researchers and practitioners interested in the quantification
research dimensions spanning dependability, security, privacy and risk, and
with particular emphasis on techniques for service oriented architectures.


The list of topics includes, but it is not limited to:
Assurance cases modeling and analysis
Incremental/modular security assurance analysis
Metrics for trust, security and privacy
Model-based techniques for assurance
Probabilistic/stochastic model checking
Process compliance assurance techniques
Quantitative information flow analysis
Quantitative issues in access and usage control
Security testing techniques
Simulation techniques for security, privacy, risk
Static/dynamic code analysis techniques
Tool support for quantitative security assurance

Submission dates:
Submission: June 21 2014
Notification: July 28 2014

Workshop organizers:
Alessandro Aldini, Univ of Urbino
Fabio Martinelli, CNR
Neeraj Suri, TU Darmstadt

PC members (To be completed):
Lujo Bauer, CMU
Jorge Cuellar, Siemens
Frédéric Cuppens, ENST-Bretagne
Javier Lopez, Univ. of Malaga
Jesus Luna, CSA
Cathy Meadows, NRL
Charles Morisset, Univ. of Newcastle
Flemming Nielson, DTU
Pierangela Samarati, Univ. of Milan
Reijo Savola, VTT
Andrei Sabelfeld, Chalmers
Ketil Stoelen, SINTEF
Herbert Wiklicky, ICL

Program & Proceedings
The program will consist of invited speakers as well as of submitted
papers. The workshop post-proceedings are currently under negotiation.

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:
Email: qasa2014 at iit.cnr.it