[Tccc] Deadline extension for QASA: International Workshop on Quantitative Aspects in Security Assurance
Fabio Martinelli
Fabio.Martinelli
Fri Jul 6 05:38:53 EDT 2012
International Workshop on Quantitative Aspects in Security Assurance
(QASA) - www.iit.cnr.it/qasa2012
Affiliated workshop with ESORICS 2012 in Pisa, Italy Sept. 14 2012
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 workshop is also sponsored by the research network NESSoS
(www.nessos-project.eu).
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
Invited Speaker:
Boris Koepf, IMDEA
Workshop organizers:
Fabio Martinelli, CNR
Flemming Nielson, DTU
PC members:
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
Submission dates:
Submission deadline for abstracts: July 15 2012
Submission deadline for papers: July 18 2012
Notification: July 30 2012
Programme&proceedings
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.
Contact:
Email: qasa2012 at iit.cnr.it
More information about the TCCC
mailing list