WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

Klaus P. Jantke

Werner Stephan

Roland VogtDFKI GmbH Saarbrücken

www.dfki.de/~jantke/

jantke@dfki.de

0178 - FairPay

WIWITA 20002. Wismarer Wirtschaftsinformatiktage

15./16. Juni 2000

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

Klaus P. Jantke

Werner Stephan

Roland VogtDFKI GmbH Saarbrücken

www.dfki.de/~jantke/

jantke@dfki.de

0178 - FairPay

WIWITA 20002. Wismarer Wirtschaftsinformatiktage

15./16. Juni 2000

DFKI GmbH Saarbrücken

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

1 Was soll FairPay? 2 Was ist FairPay?3 Was macht FairPay?

• Die VSE-Methodologie

• Das VSE-System

4 Was bietet FairPay?

GliederungGliederung

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

1 Zuverlässigkeit schützt die Interessen ... 2 Zuverlässigkeit gibt wirtschaftliche Impulse ...3 ... und ist ein Ziel wiss.-techn. Kriminalprävention.

MotivationMotivation Kommunikation in offenen Netzen wie• B2B-Kommunikation (Verträge, ...),• Übertragung von personenbezogenen Daten (Medizin, ...),• Bezahlvorgänge, ...muß geschützt werden.

Eine kleine Geschichte

gefällig ... ?!

Exkurs

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

1 Zuverlässigkeit schützt die Interessen ... 2 Zuverlässigkeit gibt wirtschaftliche Impulse ...3 ... und ist ein Ziel wiss.-techn. Kriminalprävention.

MotivationMotivation Kommunikation in offenen Netzen wie• B2B-Kommunikation (Verträge, ...),• Übertragung von personenbezogenen Daten (Medizin, ...),• Bezahlvorgänge, ...muß geschützt werden.

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

Das KonsortiumDas Konsortium

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

Was macht FairPay?Was macht FairPay?

Ein generisches Vorgehensmodell

für faktisch und nachweisbar zuverlässige Systeme

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

Was macht FairPay?Was macht FairPay?

Ein generisches Vorgehensmodell

für faktisch und nachweisbar zuverlässige Systeme

mit

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

1 Was soll FairPay? 2 Was ist FairPay?3 Was macht FairPay?

• Die VSE-Methodologie

• Das VSE-System

4 Was bietet FairPay?

EinordnungEinordnung

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

1 Was soll FairPay? 2 Was ist FairPay?3 Was macht FairPay?

• Die VSE-Methodologie

• Das VSE-System

4 Was bietet FairPay?

EinordnungEinordnung

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

1 Was soll FairPay? 2 Was ist FairPay?3 Was macht FairPay?

• Die VSE-Methodologie

• Das VSE-System

4 Was bietet FairPay?

EinordnungEinordnung

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

Die MethodologieDie Methodologie

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

1 Systementwurf - ein Entwicklungsgraph 2 Sicherheitsanforderungen - eine Formel3 Verifikation - ein Lemma ist bewiesen4 Problemanalyse - ein Beweisbaum

Ein Beispiel aus der SystementwicklungEin Beispiel aus der Systementwicklung

Das alles ist „echt“, die Fenster sind Schnappschüsse vom System VSE-II, und trotzdem dient das alles nur der Illustration ...

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

Development GraphDevelopment Graph

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

System RequirementSystem Requirement

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

Proof InformationProof Information

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

Proof TreeProof Tree

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

1 Kommunikation 2 Kooperation3 Wissenstransfer

• Die VSE-Methodologie

• Das VSE-System

4 Evaluation

AngeboteAngebote

... ITSEC

... CC

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

1 Kommunikation 2 Kooperation3 Wissenstransfer

• Die VSE-Methodologie

• Das VSE-System

4 Evaluation

AngeboteAngebote

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

Standort Kaiserslautern

DFKI GmbHErwin-Schrödinger-StraßeD-67608 Kaiserslautern

Tel.: 0631 205 3214Fax.: 0631 205 3210

email: info@dfki.uni-kl.de

Standort Saarbrücken

DFKI GmbHStuhlsatzenhausweg 3D-66123 Saarbrücken

Tel.: 0681 302 5252Fax.: 0681 302 5341email: info@dfki.de

10. Juni 2000, 23:30 Klaus P. Jantke

Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr

Standort Kaiserslautern

DFKI GmbHErwin-Schrödinger-StraßeD-67608 Kaiserslautern

Standort Saarbrücken

DFKI GmbHStuhlsatzenhausweg 3D-66123 Saarbrücken

http://FairPay.DFKI.de

0178 - FairPay