Help Guide Disclaimer Contact us Login
  Advanced SearchBrowse




Conference Paper

Analysis of Authorizations in SAP R/3


Lamotte-Schubert,  Manuel
Automation of Logic, MPI for Informatics, Max Planck Society;

Weidenbach,  Christoph
Automation of Logic, MPI for Informatics, Max Planck Society;

There are no locators available
Fulltext (public)
There are no public fulltexts available
Supplementary Material (public)
There is no public supplementary material available

Lamotte-Schubert, M., & Weidenbach, C. (2009). Analysis of Authorizations in SAP R/3. In FTP 2009 Workshop Proceedings (pp. 90-104).

Cite as:
Today many companies use an ERP (Enterprise Resource Planning) system such as SAP R/3~to run their daily business ranging from financial issues down to the actual control of a production line. Already due to their sheer size, these systems are very complex. In particular, developing and maintaining the authorization setup is a challenge. The goal of our effort is to automatically analyze the authorization setup of an SAP R/3~system against business policies. To this end we formalize the processes, authorization setup as well as the business policies in first-order logic. Then, properties can be (dis)proven fully automatically with our theorem prover \textsc{Spass}. We exemplify our approach on the purchase process, a typical constituent of any SAP R/3~installation.