Introduction
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.
Call for paper
Important date
Submission Topics
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
All Comments
Important Date
-
Conference Date
Sep 10
2014
toSep 11
2014
-
Jul 08 2014
Abstract Submission Deadline
-
Sep 11 2014
Registration deadline
Sponsored By
Contact Information
Submit Comment