Model-driven Analysis Techniques for Security in Business Processes

Das Ziel der Arbeit ist es, Kriterien zur Abbildung von Sicherheitsaspekten in Geschäftsprozessen aus Modellierungssprachen im Stand der Forschung zu erheben. Anhand derer werden geeignete Prozessanalysemethoden hinsichtlich ihrer Anwendbarkeit zur Bewertung der Sicherheitsaspekte evaluiert. Geeignete Analysemethoden können aus den Bereichen der strukturellen Analyse, wie der Graphentheorie, oder der inhaltlichen Analyse, wie der Schwachstellenanalyse, herangezogen werden. Basierend auf der Erfüllung der Kriterien soll eine Entscheidungsunterstützung geboten werden, um geeignete Analysemethoden zu identifizieren. Weitergehende Forschungen können zudem auf Grundlage dieser Arbeit die methodischen Ansätze erweitern.