de.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Disclaimer Contact us Login
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

Analysis of Authorizations in SAP R/3

MPS-Authors
http://pubman.mpdl.mpg.de/cone/persons/resource/persons44881

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

http://pubman.mpdl.mpg.de/cone/persons/resource/persons45719

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

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

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


Cite as: http://hdl.handle.net/11858/00-001M-0000-000F-1A42-5
Abstract
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.