wiwita 2000 2. wismarer wirtschaftsinformatiktage 15./16. juni 2000
DESCRIPTION
WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000. Klaus P. Jantke Werner Stephan Roland Vogt DFKI GmbH Saarbrücken www.dfki.de/~jantke/ [email protected] 0178 - FairPay. WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000. Klaus P. Jantke Werner Stephan - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/1.jpg)
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/
0178 - FairPay
WIWITA 20002. Wismarer Wirtschaftsinformatiktage
15./16. Juni 2000
![Page 2: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/2.jpg)
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/
0178 - FairPay
WIWITA 20002. Wismarer Wirtschaftsinformatiktage
15./16. Juni 2000
DFKI GmbH Saarbrücken
![Page 3: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/3.jpg)
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
![Page 4: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/4.jpg)
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
![Page 5: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/5.jpg)
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.
![Page 6: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/6.jpg)
10. Juni 2000, 23:30 Klaus P. Jantke
Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr
Das KonsortiumDas Konsortium
![Page 7: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/7.jpg)
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
![Page 8: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/8.jpg)
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
![Page 9: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/9.jpg)
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
![Page 10: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/10.jpg)
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
![Page 11: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/11.jpg)
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
![Page 12: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/12.jpg)
10. Juni 2000, 23:30 Klaus P. Jantke
Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr
Die MethodologieDie Methodologie
![Page 13: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/13.jpg)
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 ...
![Page 14: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/14.jpg)
10. Juni 2000, 23:30 Klaus P. Jantke
Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr
Development GraphDevelopment Graph
![Page 15: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/15.jpg)
10. Juni 2000, 23:30 Klaus P. Jantke
Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr
System RequirementSystem Requirement
![Page 16: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/16.jpg)
10. Juni 2000, 23:30 Klaus P. Jantke
Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr
Proof InformationProof Information
![Page 17: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/17.jpg)
10. Juni 2000, 23:30 Klaus P. Jantke
Mit formalen Methoden zu zuverlässigen Systemen für den elektronischen Zahlungsverkehr
Proof TreeProof Tree
![Page 18: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/18.jpg)
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
![Page 19: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/19.jpg)
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
![Page 20: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/20.jpg)
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: [email protected]
Standort Saarbrücken
DFKI GmbHStuhlsatzenhausweg 3D-66123 Saarbrücken
Tel.: 0681 302 5252Fax.: 0681 302 5341email: [email protected]
![Page 21: WIWITA 2000 2. Wismarer Wirtschaftsinformatiktage 15./16. Juni 2000](https://reader035.vdokument.com/reader035/viewer/2022062500/56815734550346895dc4d247/html5/thumbnails/21.jpg)
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