Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

 
 
DownloadE-Mail
  Analysis of Authorizations in SAP R/3

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

Item is

Dateien

einblenden: Dateien
ausblenden: Dateien
:
SapR3.pdf (beliebiger Volltext), 300KB
 
Datei-Permalink:
-
Name:
SapR3.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/pdf
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Lamotte-Schubert, Manuel1, Autor           
Weidenbach, Christoph1, Autor           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: 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.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2009-09-072009
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 521084
Anderer: Local-ID: C125716C0050FB51-ED45C8048F046139C125762A00455D7F-Lamotte-SchubertWeidenbachFTP09
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: Untitled Event
Veranstaltungsort: Oslo, Norway
Start-/Enddatum: 2009-07-06 - 2009-07-07

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: FTP 2009 Workshop Proceedings
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 90 - 104 Identifikator: ISBN: 82-7368-347-8

Quelle 2

einblenden:
ausblenden:
Titel: University Oslo Research Report
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: - Identifikator: -