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: [email protected] _______________________________________________ IEEE Communications Society Tech. Committee on Computer Communications (TCCC) - for discussions on computer networking and communication. [email protected] https://lists.cs.columbia.edu/cucslists/listinfo/tccc
