|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 46 occurrences of 22 keywords
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
124 | Weiqiang Kong, Kazuhiro Ogata 0001, Kokichi Futatsugi |
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
94 | Jim Woodcock 0001, Leo Freitas |
Z/Eves and the Mondex Electronic Purse. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
electronic finance, software archaeology, the Z notation, Z/Eves, security, refinement, theorem proving, smart cards, Grand Challenge, Verified Software Repository, Mondex |
86 | Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif |
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
86 | Reng Zeng, Jianling Liu, Xudong He |
A Formal Specification of Mondex Using SAM. |
SOSE |
2008 |
DBLP DOI BibTeX RDF |
|
75 | Tahina Ramananandro |
Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Model-finding, Mondex electronic purse, Refinement, Alloy, Security properties |
75 | Leo Freitas, Jim Woodcock 0001 |
Mechanising Mondex with Z/Eves. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Electronic finance, Grand Challenge in Verified Software, Software archaeology, Z/Eves, Security, Verification, Refinement, Theorem proving, Smart cards, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex |
75 | Jim Woodcock 0001, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob |
The certification of the Mondex electronic purse to ITSEC Level E6. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Electronic finance, Grand Challenge in Verified Software, ITSEC Level E6, Security, Verification, Refinement, Theorem proving, Smart cards, Certification, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex |
75 | Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif |
Verification of Mondex electronic purses with KIV: from transactions to a security protocol. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Verification, Refinement, Security protocol, Z, ASM, Mondex |
75 | Chris George, Anne E. Haxthausen |
Specification, proof, and model checking of the Mondex electronic purse using RAISE. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Verification, Formal methods, PVS, SAL, RAISE, Mondex |
67 | Mirco Kuhlmann, Martin Gogolla |
Modeling and validating Mondex scenarios described in UML and OCL with USE. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
67 | Gerhard Schellhorn, Richard Banach |
A Concept-Driven Construction of the Mondex Protocol Using Three Refinements. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
67 | Peter H. Schmitt, Isabel Tonin |
Verifying the Mondex Case Study. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
67 | Eric K. Clemons, David C. Croson, Bruce W. Weber |
Reengineering Money: The Mondex Stored Value Card and Beyond. |
HICSS (4) |
1996 |
DBLP DOI BibTeX RDF |
|
48 | Richard Banach |
Coarse Grained Retrenchment and the Mondex Denial of Service Attacks. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
48 | Michael J. Butler, Divakar Yadav |
An incremental development of the Mondex system in Event-B. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Mechanical proof, Methodological guidelines, Refinement, System design, Event-B |
48 | Emine Gokce Aydal, Richard F. Paige, Jim Woodcock 0001 |
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. |
MoDELS (Workshops) |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Cliff B. Jones, Ken G. Pierce |
What Can the pi-calculus Tell Us About the Mondex Purse System? |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif |
The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn |
A Modeling Framework for the Development of Provably Secure E-Commerce Applications. |
ICSEA |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
Mondex: Engineering a Provable Secure Electronic Purse. |
Int. J. Softw. Informatics |
2011 |
DBLP BibTeX RDF |
|
29 | Reng Zeng, Xudong He |
Analyzing a Formal Specification of Mondex Using Model Checking. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, Wolfgang Reif |
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Emine Gokce Aydal, Richard F. Paige, Jim Woodcock 0001 |
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Peter Landrock |
Mondex. |
Encyclopedia of Cryptography and Security |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney |
Retrenchment and the Mondex Electronic Purse. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
29 | John Beric |
Mondex security strategy. |
Inf. Secur. Tech. Rep. |
1999 |
DBLP DOI BibTeX RDF |
|
29 | J. Christopher Westland, Mandy Kwok, Josephine Shu, Terence Kwok, Henry Ho |
Customer and Merchant Acceptance of Electronic Cash: Evidence from Mondex in Hong Kong. |
Int. J. Electron. Commer. |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Eric K. Clemons, David C. Croson, Bruce W. Weber |
Reengineering Money: The Mondex Stored Value Card and Beyond. |
Int. J. Electron. Commer. |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney |
Retrenchment and the Atomicity Pattern. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney |
Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Richard Banach, Michael Poppleton, Susan Stepney |
Retrenching the Purse: Finite Exception Logs, and Validating the Small. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Richard Banach |
Retrenchment Tutorial. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney |
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
19 | David Everett |
Zzzzzzzzzzzzzzzzzzzzzzzzzz. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|