Verifying Security Protocols: An ASM Approach. Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn Lehrstuhl f¨ ur Softwaretechnik und Programmiersprachen Institut f¨

Source URL: www.isse.uni-augsburg.de

• Dolev-Yao model
• Public-key cryptography
• Email
• Needham–Schroeder protocol
• Cryptographic protocols
• Cryptography
• Computing

UITP 2005 Preliminary Version The User Interface of the KIV Verification System — A System Description Dominik Haneberg, Simon B¨aumler, Michael Balser, Holger Grandy, Frank Ortmeier, Wolfgang Reif,

Source URL: www.isse.uni-augsburg.de

• Formal methods
• Automated theorem proving
• Proof assistant
• ACL2
• KeY
• Theorem
• Isabelle
• Mathematical logic
• Formal verification
• Mathematics
• Theoretical computer science
• Mathematical software

Good Food, Good Farming - Auf geht´s nach Brüssel! Die Zeit ist reif für faire Preise für Landwirte und Konsumenten, für umweltfreundliche Landwirtschaft, für Ernährungssouveränität für bäuerliche Landwirtscha

Source URL: www.meine-landwirtschaft.de

ELECTRONIC-ONBOARD-TICKETING: SOFTWARE CHALLENGES OF AN STATE-OF-THE-ART M-COMMERCE APPLICATION Dominik Haneberg, Kurt Stenzel, Wolfgang Reif Lehrstuhl für Softwaretechnik und Programmiersprachen Fakultät für Angewand

Source URL: www.isse.uni-augsburg.de

• Electronic commerce
• Tickets
• Bluetooth
• Mobile commerce
• Personal digital assistant
• Automated teller machine
• Issue tracking system
• Server
• Mobile ticketing
• Technology
• Mobile computers
• Mobile technology

Design for Trust: Security in M-Commerce Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel Lehrstuhl f¨ur Softwaretechnik und Programmiersprachen Fakult¨at f¨ur Informatik Universit¨at Augsburg D-8613

Source URL: www.isse.uni-augsburg.de

• Information
• Data
• Ubiquitous computing
• Java Card
• Unified Modeling Language
• Communications protocol
• Card reader
• Formal methods
• Cryptographic protocol
• Smart cards
• Computing
• ISO standards

Design for Trust: Security in M-Commerce Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel Lehrstuhl f¨ur Softwaretechnik und Programmiersprachen Fakult¨at f¨ur Informatik Universit¨at Augsburg D-8613

Source URL: www.isse.uni-augsburg.de

• ISO standards
• Software engineering
• Ubiquitous computing
• Electronic commerce
• Card reader
• Java Card
• Activity diagram
• Cryptographic protocol
• Diagram
• Smart cards
• Computing
• Security

Good Food, Good Farming - Auf geht´s nach Brüssel! Die Zeit ist reif für faire Preise für Landwirte und Konsumenten, für umweltfreundliche Landwirtschaft, für Ernährungssouveränität für bäuerliche Landwirtscha

Source URL: www.meine-landwirtschaft.de

Kennen Sie unsere Käseseminare ? Reif für „guten Käse“ ? Es erwartet Sie ein geselliger genussvoller und informativer Abend bei exzellenten Käsesorten, Weinen und Brot. Sie erschmecken die verschiedensten Käseso

Source URL: www.einkaufen-in-bad-muender.de

Using Java for Real-Time Critical Industrial Robot Programming Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Wolfgang Reif Software Development for Industrial Robots Current situation

Source URL: www.isse.uni-augsburg.de

• Industrial robot
• Robot
• KUKA
• Robot software
• Technology
• Business
• Robotics

Development of a Verified Flash File System ? Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, Dominik Haneberg, and Wolfgang Reif

Source URL: www.isse.uni-augsburg.de

• Disk file systems
• Flash file systems
• Embedded Linux
• Unix
• UBIFS
• LogFS
• Log-structured file system
• File system
• Virtual file system
• System software
• Computing
• Software