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
|Submission deadline for paper:||June 21 2013 (Extended)|
|Notification:||July 10 2013|
- Boris Köpf, IMDEA Software Institute
- Fabio Martinelli, CNR
- Flemming Nielson, DTU
- 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
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.
See the attached file.
For any question, please contact the organizing committee at firstname.lastname@example.org.