Electronic Proceedings Article
@InProceedings
Internet-Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:




Library Locked Library locked




Author, Editor

Author(s):

Lamotte-Schubert, Manuel
Weidenbach, Christoph

dblp
dblp



Editor(s):

Peltier, Nicolas
Sofronie-Stokkermans, Viorica

dblp
dblp

Not MPII Editor(s):

Peltier, Nicolas

BibTeX cite key*:

Lamotte-SchubertWeidenbachFTP09CEUR

Title, Conference

Title*:

Analysis of Authorizations in SAP R/3

Booktitle*:

FTP 2009 : First-Order Theorem Proving

Event Address*:

Oslo, Norway

URL of the conference:


Event Date*:
(no longer used):


URL for downloading the paper:

http://CEUR-WS.org/Vol-556/

Event Start Date:

6 July 2009

Event End Date:

7 July 2009

Language:

English

Organization:


Publisher

Publisher's Name:

CEUR

Publisher's URL:


Address*:

s.l.

Type:


Vol, No, pp., Year

Series:

CEUR Workshop Proceedings

Volume:

556

Number:


Month:

July

Pages:

90-104



Sequence Number:


Year*:

2009

ISBN/ISSN:






Abstract, Links, ©

URL for Reference:


Note:


(LaTeX) 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 Spass. We exemplify our approach on the purchase process, a typical constituent of any SAP R/3 installation.

URL for the Abstract:




Tags, Categories, Keywords:

SAP R/3 authorization verification business policies

HyperLinks / References / URLs:


Copyright Message:


Personal Comments:

URN: urn:nbn:de:0074-556-5
ftp://SunSITE.Informatik.RWTH-Aachen.DE/pub/publications/CEUR-WS/Vol-556.zip

Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Automation of Logic

Audience:

Expert

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort

BibTeX Entry:
@INPROCEEDINGS{Lamotte-SchubertWeidenbachFTP09CEUR,
AUTHOR = {Lamotte-Schubert, Manuel and Weidenbach, Christoph},
EDITOR = {Peltier, Nicolas and Sofronie-Stokkermans, Viorica},
TITLE = {Analysis of Authorizations in {SAP} {R/3}},
BOOKTITLE = {FTP 2009 : First-Order Theorem Proving},
PUBLISHER = {CEUR},
YEAR = {2009},
VOLUME = {556},
PAGES = {90--104},
SERIES = {CEUR Workshop Proceedings},
ADDRESS = {Oslo, Norway},
MONTH = {July},
ISBN = {1613-0073},
}


Entry last modified by Anja Becker, 03/25/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
[Library]
Created
02/01/2010 08:25:41 AM
Revisions
3.
2.
1.
0.
Editor(s)
Anja Becker
Anja Becker
Anja Becker
Manuel Lamotte-Schubert
Edit Dates
25.03.2010 12:48:20
25.03.2010 12:19:04
25.03.2010 12:18:19
01.02.2010 08:37:32
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section