3rd Workshop in conjunction with SSIRI 2011Goals and Description
* Topics of Interest
* Format and Proceedings
Many ad-hoc security specifications, models, and protocols, which were implemented in software components in the past, turned out to be vulnerable to some extent. Formal verification and validation methods have the potential to increase user confidence in software artifacts. Therefore, theoretical foundations for security assurance should be investigated to discover new methods that will bring high certainty to the trustworthiness of software entities.
Verification and validation (V&V) methods deliver important analytical techniques for quality assurance. In model-based V&V, the software under consideration is analysed by means of a model that focuses on certain aspects, often on the behavior of the software. Models frequently used are finite state machines and flow graphs which are associated with such techniques as, for instance, formal verification, control and data flow analysis, test case generation, and model checking.
The successful 1st and 2nd MVV workshops hold in conjunction with SSIRI showed the tight links between the model based V&V and general issues of Secure Software Integration and Reliability Improvement and indicated great interest to the workshop themes among the conference participants. The 3rd MVV workshop will continue this fruitful collaboration between MVV and SSIRI, aiming at giving researchers and practitioners in the area a platform to present their results and experience to a broader audience.
* Formal methods and theories in model-based V&V
* Simulation by models, forecasts of behavior and properties by models
* Models and modeling notations for programming and V&V
* Tools for model-based V&V
* Model-based security evaluation
* V&V of security specifications, models, and protocols
* Theoretical foundations of security analysis and design
* Formal models for security testing
* Testing with software usage models
* Test case generation based on formal and semi-formal models
* Test coverage metrics and criteria for model-based testing
* Models as test oracles, test validation with models
* Application of model checking in testing
* Model-based V&V of reactive and object-oriented systems
* Model-based verification and validation of tests
* Experience reports and requirements from model-based V&V and model-based development in practice