Overview
There is an increasing demand of techniques to deal with quantitative aspects of security assurance at several levels of system&service development life-cycle, e.g., from requirements elicitation to run-time operation and maintenance. The aim of this workshop is to bring together a constituency of researchers and practitioners interested in these research topics with a particular emphasis techniques for service oriented architectures. The scope of the workshop, is to be intended in a broad sense, 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
- Security, trust and privacy formal/practical metrics
- Incremental/modular security assurance analysis
- Process compliance assurance techniques
- Tool support for quantitative techniques for security assurance
- Decision support systems for security, trust, risk and privacy
- Simulation techniques
- Model-driven techniques for security, trust, risk and privacy
- Assurance cases modelling and analysis
- ...
Important dates:
| Submission deadline for abstracts: | July 17, 2012 |
| Submission deadline for paper: | July 18, 2012 |
| Notification: | July 30, 2012 |
Invited Speaker:
- Boris Koepf, IMDEA
Workshop Organizers:
- Fabio Martinelli, CNR
- Flemming Nielson, DTU
Program Committee:
- Alessandro Aldini, U. of Urbino
- Iliano Cervesato, CMU-Qatar Campus
- Jorge Cuellar, SIEMENS
- Frédéric Cuppens, ENST-Bretagne
- Felicita Di Giandomenico, CNR
- Chris Hankin, ICL
- Maritta Heisel, U. of Duisburg-Essen
- Boris Koepf, IMDEA
- Riccardo Scandariato, KUL
- Javier Lopez, U. of Malaga
- Heiko Mantel, U. of Darmstadt
- Cathy Meadows, NRL
- Vincent Nicomette, LAAS
- Catuscia Palamidessi, INRIA
- Michael Rusinovitch, INRIA
- William H. Sanders, U. of Illinois at Urbana-Champaign
- Pierangela Samarati, U. of Milan
- Reijo Savola, VTT
- Ketil Stoelen, SINTEF
- Lorenzo Strigini, City University London
- Neeraj Suri, TU Darmstadt
Local Organization:
- Ilaria Matteucci
- Charles Morisset
- Artsiom Yautsiukhin
Programme, Proceedings, and Submission Instructions
The program consists of invited speakers as well as of submitted papers. The workshop proceedings will be available in electronic format and a special issue on the International Journal on Software Tools for Technology Transfer (STTT), Springer, 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.
Program
See the attached file.
Contact
For any question, please contact the organizing committee at qasa2012@iit.cnr.it.
Sponsor
The workshop is sponsored by the research network NESSoS and SESAMO.
