Conceptualization of Analysis Algorithms for Security Enhanced Business Process Models

The guiding research question of this work is: How can security in business processes be analyzed towards their goal and requirement compliance utilizing security enhanced process models and process analysis techniques in the case of postal services?
The main objective of this paper is to conceptualize algorithms to analyze security enhanced business processes regarding their level of security, which is defined by fulfilling identified security requirements, and their compliance with higher business security principles following the example case of postal services. The outcome is a set of security analysis algorithms formulated by means of process descriptions, set theory, formal specifications or pseudo code where applicable.