Search results for "Mondex"

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