direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

An approach using formally well-founded domain languages for secure coarse-grained IT system modelling in a real-world banking scenario
Zitatschlüssel BBE+07
Autor Braatz, Benjamin and Brandt, Christoph and Engel, Thomas and Hermann, Frank and Ehrig, Hartmut
Buchtitel Proc. Australasian Conf. on Information Systems (ACIS'07)
Jahr 2007
Zusammenfassung In this paper we show how distributed coarse-grained IT systems in a real-world banking scenario can be modeled using domain concepts and languages that are standing on top of formal methods. We further show how these methods help to enforce structural security requirements, like firewall placements. In contrast to todays diagrams of IT landscapes, this approach makes use of the full power of formal methods, being at the same time completely transparent to the people using it in the scenario. This is what makes this theoretical approach applicable in a real-world environment where people are highly sensitive to set-up costs and any daily operational overhead.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras


Schnellnavigation zur Seite über Nummerneingabe