2012 | OriginalPaper | Buchkapitel
Analyzing Data Flow in Trustworthy Electronic Payment Systems Using Event-B
verfasst von : Girish Chandra, Divakar Yadav
Erschienen in: Data Engineering and Management
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Modern days scientific and commercial applications are fairly large and complex and its reliance on large-scale communication, distributed computing infrastructure and complex software system is growing. Electronic payment systems are at the core of many such financially critical software systems. Any failure in such applications may end up in financial losses and loss of trust of users. It is required that these systems exhibit trustworthy behavior and must be able to tolerate failures or attacks. Trustworthiness is now being addressed as an important issue in development of future software systems. In this paper we outline application of formal methods to ensure trustworthiness of electronic payment systems. B specifications of DigiCash payment system are presented. We have used ProB Model checker and animator for temporal model check and constraint based checking, discover errors due to invariant violation and deadlocks, thereby, validating the specifications.