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
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
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: [email protected]
Standort Saarbrücken
DFKI GmbHStuhlsatzenhausweg 3D-66123 Saarbrücken
Tel.: 0681 302 5252Fax.: 0681 302 5341email: [email protected]
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