Dominik Haneberg und Holger Grandy - Info zur Person

(1 - 14 von 16

)

SCEAShttp://sceas.csd.auth.gr › search

sceas.csd.auth.gr

Dominik Haneberg, Wolfgang Reif, Kurt Stenzel A Method for Secure Smartcard Applications. · (0, 0)][DBLP] AMAST, 2002, pp: [Conf] ; Holger Grandy, Dominik ... › search

Emerging Trends in Information and Communication Security: ...

books.google.no

Developing Provable Secure M-Commerce Applications Holger Grandy, Dominik Haneberg, Wolfgang Reif, and Kurt Stenzel Lehrstuhl für Softwaretechnik und ...

Rigorous Methods for Software Construction and Analysis: ...books.google.com › books

books.google.lv

A Systematic Verification Approach for Mondex Electronic Purses Using ASMs Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, and ...

Search results for "Abstract State Machines" – FacetedDBLP

dblp.l3s.de

Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn: Verifying Security Protocols: An ASM Approach. Abstract State Machines : 2005: DBLP …

The Mondex Challenge: Machine Checked Proofs for an Electronic Purse...

core.ac.uk

The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. By Gerhard Schellhorn, Holger Grandy, Dominik Haneberg and Wolfgang (Prof.

Verifying Smart Card Applications: An ASM Approach | SpringerLink

link.springer.com

Dominik Haneberg, Holger Grandy, Wolfgang Reif, and Gerhard Schellhorn. Lehrstuhl für Softwaretechnik und Programmiersprachen. Institut für Informatik ...

DBLP: Dominik Haneberg

vldbarc.org

Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif: Verification of Mondex electronic purses with KIV: from transactions to a security ...

Technical Symposium - FM 2006

fm06.mcmaster.ca

Gerhard Schellhorn, Holger Grandy, Dominik Haneberg and Wolfgang Reif. The Mondex Challenge: Machine Checked Proofs for an Electronic Purse › technica...

Related Projects - IC0701 Resourcesresources.cost-ic0701.org › related-projects

resources.cost-ic0701.org

Holger Grandy, Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel (Deutsche Forschungsgemeinschaft DFG,

The User Interface of the KIV Verification System — A System ...cse.cs.ovgu.de › cse › the-user-interface-of-the-kiv-verification-syste...

cse.cs.ovgu.de

Dominik Haneberg, Simon Bäumler, Michael Balser, Holger Grandy, Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn, Jonathan Schmitt, Kurt Stenzel: The ...