Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications

Marian Borek, Kuzman Katkalov, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel

We present SecureMDD, a development method for secure service applications that integrates a model-driven approach with formal specification techniques using abstract state machines (ASMs), refinement to code and verification with the interactive theorem prover KIV. A larger case study is used to highlight various aspects of the method with a focus on services and their formal verification.
published 2015 Correct Software in Web Applications and Web Services, 2015, Texts & Monographs in Symbolic Computation 0943-853X, pp 45-81

Publisher: Springer



For questions regarding the publication, please contact!