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 2013 (Extended) |
Notification: | July 10 2013 |
Workshop Organizers:
- Boris Köpf, IMDEA Software Institute
- Fabio Martinelli, CNR
- Flemming Nielson, DTU
Program Committee:
- Alessandro Aldini, U. of Urbino
- Rainer Böhme, U. of Münster
- Michael Clarkson, George Washington University
- Jorge Cuellar, SIEMENS
- Frédéric Cuppens, ENST-Bretagne
- Felicita Di Giandomenico, CNR
- Chris Hankin, ICL
- Javier Lopez, U. of Malaga
- Heiko Mantel, TU Darmstadt
- Cathy Meadows, NRL
- Tyler Moore, Southern Methodist University
- Charles Morisset, U. of Newcastle
- Catuscia Palamidessi, INRIA
- Pierangela Samarati, U. of Milan
- Reijo Savola, VTT
- Riccardo Scandariato, KU Leuven
- Ketil Stoelen, SINTEF
- Lorenzo Strigini, City London University
- Neeraj Suri, TU Darmstadt
- Carmela Troncoso, Gradient
Programme, Proceedings, and Submission Instructions
The program consists of invited speakers as well as of submitted papers. The workshop proceedings are informal and will be available in electronic format and a special journal issue is planned.
Submissions are to be made to the submission web site at http://www.easychair.org. All submissions should follow the LNCS template from the time they are submitted. Submitted papers should be at most 12 pages.
Proceedings are available here, as a zipped file.
Program
See the attached file.
Contact
For any question, please contact the organizing committee at qasa2013@iit.cnr.it.
Sponsor
The workshop is also sponsored by the FP7 Network of Excellence NESSoS and the EU project SESAMO.
![]() |
![]() |