P. H. Hartel, J. Hill, and M. Sims. An operational model of QuickPay. In J.-J. Quisquater and B. Schneier, editors, 3rd Int. Conf. Smart card research and advanced application (CARDIS 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A B C D - Automated Validation of Business Critical Systems with.. - Group (1999) (Correct)
.... 20.777) work funded by QC Technology of the Netherlands to develop formal methods for the purpose of creating and verifying software generation tools for smart card operating systems and smart card applications [25] work supported by BT and QC Technology on models of electronic payment protocols [26, 46]; work with the DERA on protocols for secure communication [10] work with hospitals in health care systems [37] Tools and tool integration We have extensive experience of building tools to support the use of formal methods. Significant examples include: an animation tool for business processes ....
....such as proof, animation, performance or state space exploration. However, all models are essentially instantiations of a generic model that fits the pattern layered architecture for information systems [17, Chapter 12] ffl We have built different models for electronic payment systems [18, 26, 46] emphasizing animation, proof and state space exploration. In both of these domains, we have applied different formal methods to deal effectively with various aspects of the modelling, such as state, and concurrency, but also animation and proof. Combining the flexibility of patterns with the ....
P. H. Hartel, J. Hill, and M. Sims. An operational model of QuickPay. In 3rd Int. Conf. Smart card research and advanced application (CARDIS 1998), LNCS, page to appear. Springer-Verlag, Berlin, Sep 1998.
Modelling a Java Ring based implementation of the N-Count.. - Revill, Hartel (1999) (1 citation) Self-citation (Hartel) (Correct)
No context found.
P. H. Hartel, J. Hill, and M. Sims. An operational model of QuickPay. In J.-J. Quisquater and B. Schneier, editors, 3rd Int. Conf. Smart card research and advanced application (CARDIS 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC