[TYPES/announce] CFP QASA2015: 5th Workshop on Quantitative Aspects of Security Assurance

[Aldini, Alessandro]

5th  Intl. Workshop on ‘Quantitative Aspects of Security Assurance’
        (QASA 2016)
co-located with ESORICS 2016 (26-30 September 2016, Heraklion, Crete)

www.iit.cnr.it/qasa2016

Overview:

With security established as a critical ICT attribute, one also needs to be
able
to scientifically quantify the levels of desired or achieved security
assurance.
This naturally needs to occur over the entire multi- level life-cycle of
systems
& services, e.g., from requirements elicitation to run-time operation and
maintenance. Addressing such quantitative aspects, the QASA workshop aims to
bring together researchers and practitioners interested in the research
dimensions of quantification spanning dependability, security, privacy and
risk.

The list of topics includes, but it is not limited to:

- Assurance: Modeling, Analysis, Verification, Testing, Use Cases
- Assurance: Measurement and Metrics
- Process compliance assurance techniques
- Foundational quantitative approaches to security analysis
- Quantitative information flow analysis
- Quantitative issues in access and usage control
- Simulation techniques for security, privacy, risk
- Tool support for quantitative security assurance

Submission dates:
- submission deadline: June 23, 2016
- acceptance notification: July 29, 2016
- camera ready: August 07, 2016

General Chair:
Fabio Martinelli, CNR-IIT

PC Chairs:
Alessandro Aldini, Univ. of Urbino
Reijo Savola, VTT
Neeraj Suri, TU Darmstadt

PC members:
Habtamu Abie, Norsk Regnesentral
Jorge Cuellar, Siemens
Sotiris Ioannidis, Forth-ICS
Michaela Iorga, NIST
Mohamed Kaaniche, LAAS-CNRS
Giovanni Livraga, Univ. of Milano
Javier Lopez, Univ. of Malaga
Jesus Luna, CSA
Ilaria Matteucci, CNR-IIT
Martin Ochoa, SUTD
Juha Röning, University of Oulu
Einar Snekkenes, Gjøvik University College
Ruben Trapero, TU Darmstadt

Program & Proceedings

The program will consist of invited speakers as well as of presentations of
submitted papers. Similarly as in previous editions, publication of revised
versions of the selected papers in a volume of the Lecture Notes in Computer
Science (LNCS) series of Springer is under negotiation.

We encourage the submission of original contributions written in English:
- full papers (at most 16 pages)
- short papers (at most 6 pages)
complying with the LNCS formatting.
Submissions must be made through the EasyChair conference system,
which will be soon available.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160504/6e38643d/attachment.html>