On the public citation graph

A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach

https://doi.org/10.1016/j.infsof.2008.01.005

0 signed · 69 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/stvr.258openalex-snapshot

Model checking fault tolerant systems

inferredcites →https://doi.org/10.1007/11946441_32openalex-snapshot

Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker

inferredcites →https://doi.org/10.1007/3-540-36184-7_20openalex-snapshot

MicroBill: An Efficient Secure System for Subscription Based Services

inferredcites →https://doi.org/10.1007/3-540-44700-8_12openalex-snapshot

Models and Protocol Structures for Software Agent Based Complex E-Commerce Transactions

inferredcites →https://doi.org/10.1007/3-540-45415-2_2openalex-snapshot

A Fair Electronic Cash Scheme

inferredcites →https://doi.org/10.1007/3-540-45705-4_39openalex-snapshot

A Formal and Executable Specification of the Internet Open Trading Protocol

inferredcites →https://doi.org/10.1007/3-540-47790-x_2openalex-snapshot

Money Conservation via Atomicity in Fair Off-Line E-Cash

inferredcites →https://doi.org/10.1007/3-540-53479-2_17openalex-snapshot

Action versus state based logics for transition systems

inferredcites →https://doi.org/10.1007/3-540-61474-5_86openalex-snapshot

The Mur ϕ verification system

inferredcites →https://doi.org/10.1007/3-540-65307-4_50openalex-snapshot

An introduction to the practical use of coloured Petri Nets

inferredcites →https://doi.org/10.1007/978-3-540-27755-2_6openalex-snapshot

A Coloured Petri Net Approach to Protocol Verification

inferredcites →https://doi.org/10.1007/978-3-540-47919-2_10openalex-snapshot

Coloured Petri Nets

inferredcites →https://doi.org/10.1007/978-3-540-75101-4_22openalex-snapshot

Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees

inferredcites →https://doi.org/10.1007/b75215openalex-snapshot

SEMPER - Secure Electronic Marketplace for Europe

inferredcites →https://doi.org/10.1007/bfb0023720openalex-snapshot

Auto/autograph

inferredcites →https://doi.org/10.1016/0304-3975(84)90067-7openalex-snapshot

Algèbre de processus et synchronisation

inferredcites →https://doi.org/10.1016/j.dss.2003.10.011openalex-snapshot

An anonymous and failure resilient fair-exchange e-commerce protocol

inferredcites →https://doi.org/10.1016/s0304-3975(01)00141-4openalex-snapshot

Finite-state analysis of two contract signing protocols

inferredcites →https://doi.org/10.1023/a:1022308532661openalex-snapshot

Web Services and Business Transactions

inferredcites →https://doi.org/10.1109/2.612244openalex-snapshot

The state of the art in electronic payment systems

inferredcites →https://doi.org/10.1109/csac.1998.738600openalex-snapshot

A scheme for analyzing electronic payment systems

inferredcites →https://doi.org/10.1109/icdcs.1996.507925openalex-snapshot

Making trust explicit in distributed commerce transactions

inferredcites →https://doi.org/10.1109/itcc.2004.1286420openalex-snapshot

A security protocol for certified e-goods delivery

inferredcites →https://doi.org/10.1109/wise.2000.882423openalex-snapshot

Automatic generation of reliable e-commerce payment processes

inferredcites →https://doi.org/10.1145/248052.248054openalex-snapshot

Atomicity in electronic commerce

inferredcites →https://doi.org/10.1145/266420.266424openalex-snapshot

Fair exchange with a semi-trusted third party (extended abstract)

inferredcites →https://doi.org/10.1145/280449.280458openalex-snapshot

Atomicity in electronic commerce

inferredcites →https://doi.org/10.1145/967900.968061openalex-snapshot

An improved formal specification of the Internet Open Trading Pprotocol

inferredcites →https://doi.org/10.17487/rfc2246openalex-snapshot

The TLS Protocol Version 1.0

inferredcites →https://doi.org/10.17487/rfc2371openalex-snapshot

Transaction Internet Protocol Version 3.0

inferredcites →https://doi.org/10.5555/1145884.1145886openalex-snapshot

Modeling and verification of cryptographic protocols using coloured petri nets and design/CPN

inferredcites →https://doi.org/10.7146/dpb.v26i519.7048openalex-snapshot

Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-642-15717-2_26openalex-snapshot

A Coloured Petri Net Analysis of the Transaction Internet Protocol

inferred← citeshttps://doi.org/10.1007/978-3-642-35130-3_18openalex-snapshot

Verification of Money Atomicity in Digital Cash Based Payment System

inferred← citeshttps://doi.org/10.1007/s10270-016-0517-1openalex-snapshot

Scenario-based system design with colored Petri nets: an application to train control systems

inferred← citeshttps://doi.org/10.1007/s10703-017-0280-0openalex-snapshot

Formal analysis and offline monitoring of electronic exams

inferred← citeshttps://doi.org/10.1007/s11431-011-4562-2openalex-snapshot

Formal verification of safety protocol in train control system

inferred← citeshttps://doi.org/10.1016/j.cose.2011.02.001openalex-snapshot

Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach

inferred← citeshttps://doi.org/10.1016/j.csi.2011.02.006openalex-snapshot

Performance analysis and verification of safety communication protocol in train control system

inferred← citeshttps://doi.org/10.1016/j.jss.2024.111958openalex-snapshot

Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored Petri nets

inferred← citeshttps://doi.org/10.1016/j.ress.2011.12.010openalex-snapshot

Verification of the safety communication protocol in train control system using colored Petri net

inferred← citeshttps://doi.org/10.1016/j.ress.2018.03.035openalex-snapshot

Formal model-based quantitative safety analysis using timed Coloured Petri Nets

inferred← citeshttps://doi.org/10.1063/1.3225257openalex-snapshot

Digital Coin Business Model Using the Coin ATM

inferred← citeshttps://doi.org/10.1088/1742-6596/2390/1/012090openalex-snapshot

Construction of Internet Behavior Model for Textile Industry Based on Colored Petri Nets

inferred← citeshttps://doi.org/10.1109/apsec48747.2019.00054openalex-snapshot

A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems

inferred← citeshttps://doi.org/10.1109/cmc.2010.222openalex-snapshot

Formal Modeling and Analysis of HMIPv6 Using Colored Petri Nets

inferred← citeshttps://doi.org/10.1109/icsess.2017.8342881openalex-snapshot

Automated analysis of UML activity diagram using CPNs

inferred← citeshttps://doi.org/10.1109/tase.2014.2362819openalex-snapshot

Modeling and Verification of Online Shopping Business Processes by Considering Malicious Behavior Patterns

inferred← citeshttps://doi.org/10.1109/tem.2024.3376314openalex-snapshot

Technology Assessment for Cybersecurity Organizational Readiness: Case of Airlines Sector and Electronic Payment

inferred← citeshttps://doi.org/10.1109/tii.2021.3109436openalex-snapshot

A CPN-Based Approach for Studying Impacts of Communication Delays on Safety and Availability of Safety-Critical Distributed Networked Control Systems

inferred← citeshttps://doi.org/10.1109/tits.2016.2535418openalex-snapshot

Scenario-Based Modeling of the On-Board of a Satellite-Based Train Control System With Colored Petri Nets

inferred← citeshttps://doi.org/10.1109/tits.2021.3088136openalex-snapshot

Qualitative and Quantitative Safety Evaluation of Train Control Systems (CTCS) With Stochastic Colored Petri Nets

inferred← citeshttps://doi.org/10.1109/tsmc.2013.2248358openalex-snapshot

Modeling and Validating E-Commerce Business Process Based on Petri Nets

inferred← citeshttps://doi.org/10.1109/tsmc.2022.3163741openalex-snapshot

Model Checking of Variable Petri Nets by Using the Kripke Structure

inferred← citeshttps://doi.org/10.1109/wcica.2011.5970750openalex-snapshot

The test of train control system based on Colored Petri Net

inferred← citeshttps://doi.org/10.11591/telkomnika.v11i11.3526openalex-snapshot

Study of Multi-source Fusion B2C Business Process Reengineering of the Petri net Model

inferred← citeshttps://doi.org/10.14257/ijgdc.2015.8.2.22openalex-snapshot

A CPN-based Trust Negotiation Model on Service Level Agreement in Cloud Environment

inferred← citeshttps://doi.org/10.14569/ijacsa.2013.040725openalex-snapshot

Security Concerns in E-payment and the Law in Jordan

inferred← citeshttps://doi.org/10.1504/ijbidm.2013.055786openalex-snapshot

Micropayment proposal with formal verification using coloured Petri nets and performance analysis on the Android platform

inferred← citeshttps://doi.org/10.1504/ijeb.2009.027268openalex-snapshot

Banking strategies in launching e-payment innovations

inferred← citeshttps://doi.org/10.1504/ijesdf.2010.038283openalex-snapshot

A coloured Petri net analysis of the Transaction Internet Protocol

inferred← citeshttps://doi.org/10.17369/uhpad.2016923644openalex-snapshot

E-COMMERCE RESEARCH AND APPLICATIONS A PROPOSAL FOR CLASSIFICATION AND AN UPDATED LITERATURE REVIEW

inferred← citeshttps://doi.org/10.18483/ijsci.2094openalex-snapshot

Research on the Evaluation Index System of Enterprise's Online Credit in B2C E-commerce

inferred← citeshttps://doi.org/10.2495/cr100681openalex-snapshot

System safety property-oriented test sequences generating method based on model checking

inferred← citeshttps://doi.org/10.25236/icidel.2017.081openalex-snapshot

Verification of the Environment Information System Based on Model Checking

inferred← citeshttps://doi.org/10.31577/cai_2023_4_781openalex-snapshot

Parameterized Reachability Graph for Software Model Checking Based on PDNet

inferred← citeshttps://doi.org/10.3390/math9161906openalex-snapshot

An Examination of the Catalyst for Tapping into Mobile Financial Services in the Post-COVID-19 World

inferred← citeshttps://doi.org/10.4156/jdcta.vol6.issue6.26openalex-snapshot

Assessment System based on Scaffolding and Bloom's Theory

inferred← citeshttps://doi.org/10.4304/jsw.7.9.1941-1949openalex-snapshot

Model Checking and Verification of the Internet Payment System with SPIN

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.