Proceedings Article, Paper
@InProceedings
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-SchubertWeidenbachFTP09

Title, Booktitle

Title*:

Analysis of Authorizations in SAP R/3


SapR3.pdf (299.54 KB)

Booktitle*:

First-order Theorem Proving, FTP 2009 : International Workshop on First-Order Theorem Proving proceedings

Event, URLs

URL of the conference:


URL for downloading the paper:

http://www.mpi-inf.mpg.de/~sofronie/ftp09/ftp09-proceedings.pdf

Event Address*:

Oslo, Norway

Language:

English

Event Date*
(no longer used):


Organization:

University of Oslo

Event Start Date:

6 July 2009

Event End Date:

7 July 2009

Publisher

Name*:

University of Oslo/Department of Informatics

URL:


Address*:

Oslo, Norway

Type:


Vol, No, Year, pp.

Series:

University Oslo/Departmant of Informatics: Research Report

Volume:

386

Number:


Month:

July

Pages:

90-104

Year*:

2009

VG Wort Pages:


ISBN/ISSN:

82-7368-347-8

Sequence Number:


DOI:




Note, Abstract, ©


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

Keywords:

Automatic Authorization Analysis, System Verification



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-SchubertWeidenbachFTP09,
AUTHOR = {Lamotte-Schubert, Manuel and Weidenbach, Christoph},
EDITOR = {Peltier, Nicolas and Sofronie-Stokkermans, Viorica},
TITLE = {Analysis of Authorizations in {SAP} {R/3}},
BOOKTITLE = {First-order Theorem Proving, FTP 2009 : International Workshop on First-Order Theorem Proving proceedings},
PUBLISHER = {University of Oslo/Department of Informatics},
YEAR = {2009},
ORGANIZATION = {University of Oslo},
VOLUME = {386},
PAGES = {90--104},
SERIES = {University Oslo/Departmant of Informatics: Research Report},
ADDRESS = {Oslo, Norway},
MONTH = {July},
ISBN = {82-7368-347-8},
ISBN = {0806-3036},
}


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
09/07/2009 02:37:39 PM
Revisions
3.
2.
1.
0.
Editor(s)
Anja Becker
Anja Becker
Manuel Lamotte-Schubert
Manuel Lamotte-Schubert
Edit Dates
25.03.2010 12:48:39
25.03.2010 12:08:18
07.09.2009 14:54:13
07.09.2009 14:48:26
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section
SapR3.pdf
View attachments here: