QASA 2015
The 4th International Workshop on ‘Quantitative Aspects of Security Assurance (QASA 2015) will be held in Vienna, Austria, on 21-25 September 2015, co-located with ESORICS 2015.
There is increasing need to provide quantification of security assurance over the multi-level development 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 quantification research dimensions spanning dependability, security, privacy and risk, and with particular emphasis on techniques for service oriented architectures, IoT and cyber-physical systems.
The list of topics includes, but it is not limited to:
- Assurance cases modeling and analysis
- Game theoretical models for cyber insurance
- Incremental/modular security assurance analysis
- Metrics for trust, security and privacy
- Model-based techniques for assurance
- Process compliance assurance techniques
- Probabilistic/stochastic model checking
- Quantitative information flow analysis
- Quantitative issues in access and usage control
- Security testing techniques
- Simulation techniques for security, privacy, risk
- Static/dynamic code analysis techniques
- Tool support for quantitative security assurance
Important Dates
Submission: June 21 2015
Notification: July 28 2015
Camera ready pre-procs: August 20 2015
Final post-procs: October 2015
