Model-Driven Development of Secure Service Applications introduced by a Banking System Example

  • SecureMDD is a model-driven approach to develop security-critical systems. It uses a model that represents an application and generates executable code as well as a formal specification that can be used to prove security properties. In our previous works we considered secure smart card application and now we focus on secure service applications. In this report we describe the modelling of services, their communication and their security. We also show the generated code and explain the integration of services in the formal model. To demonstrate our approach we show a banking system which uses smart cards and services.

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Marian Borek, Kurt StenzelGND, Nina MoebiusGND, Wolfgang ReifORCiDGND
URN:urn:nbn:de:bvb:384-opus4-12807
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/1840
Series (Serial Number):Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2012-03)
Type:Report
Language:English
Publishing Institution:Universität Augsburg
Release Date:2012/04/04
GND-Keyword:Modellgetriebene Entwicklung; UML; Web Services; Codegenerierung; Verifikation; Computersicherheit
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):Deutsches Urheberrecht