On the public citation graph
How to Shop for Free Online -- Security Analysis of Cashier-as-a-Service Based Web Stores
0 signed · 111 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-540-30101-1_9openalex-snapshot
TulaFale: A Security Tool for Web Services
inferredcites →https://doi.org/10.1007/978-3-540-74810-6_1openalex-snapshot
Security Protocols: Principles and Calculi
inferredcites →https://doi.org/10.1007/978-3-642-14577-3_27openalex-snapshot
Verified by Visa and MasterCard SecureCode: Or, How Not to Design Authentication
inferredcites →https://doi.org/10.1007/bfb0055477openalex-snapshot
A formal specification of requirements for payment transactions in the SET protocol
inferredcites →https://doi.org/10.1016/0020-0190(95)00144-2openalex-snapshot
An attack on the Needham-Schroeder public-key authentication protocol
inferredcites →https://doi.org/10.1109/csfw.1997.596802openalex-snapshot
Towards the formal verification of electronic commerce protocols
inferredcites →https://doi.org/10.1109/mascot.1999.805074openalex-snapshot
Model checking the secure electronic transaction (SET) protocol
inferredcites →https://doi.org/10.1109/secpri.1998.674826openalex-snapshot
Asynchronous protocols for optimistic fair exchange
inferredcites →https://doi.org/10.1109/sp.2011.26openalex-snapshot
How to Shop for Free Online -- Security Analysis of Cashier-as-a-Service Based Web Stores
inferredcites →https://doi.org/10.1109/tit.1983.1056650openalex-snapshot
On the security of public key protocols
inferredcites →https://doi.org/10.1145/1103576.1103578openalex-snapshot
A rewriting-based inference system for the NRL protocol analyzer
inferredcites →https://doi.org/10.1145/1294261.1294265openalex-snapshot
Secure web applications via automatic partitioning
inferredcites →https://doi.org/10.1145/1323293.1294265openalex-snapshot
Secure web applications via automatic partitioning
inferredcites →https://doi.org/10.1145/1706299.1706350openalex-snapshot
Modular verification of security protocol code by typing
inferredcites →https://doi.org/10.3233/jcs-1992-1102openalex-snapshot
Applying Formal Methods to the Analysis of a Key Management Protocol
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/stvr.1531openalex-snapshot
Model‐based mutation testing from security protocols in HLPSL
inferred← citeshttps://doi.org/10.1007/978-3-030-58951-6_2openalex-snapshot
Bulwark: Holistic and Verified Security Monitoring of Web Protocols
inferred← citeshttps://doi.org/10.1007/978-3-030-78375-4_1openalex-snapshot
Breaking and Fixing Third-Party Payment Service for Mobile Apps
inferred← citeshttps://doi.org/10.1007/978-3-030-90022-9_5openalex-snapshot
An Empirical Study on Mobile Payment Credential Leaks and Their Exploits
inferred← citeshttps://doi.org/10.1007/978-3-319-04283-1_19openalex-snapshot
An e-payment Architecture Ensuring a High Level of Privacy Protection
inferred← citeshttps://doi.org/10.1007/978-3-319-33630-5_16openalex-snapshot
An Information Flow-Based Taxonomy to Understand the Nature of Software Vulnerabilities
inferred← citeshttps://doi.org/10.1007/978-3-319-38898-4_13openalex-snapshot
An Approach for Mitigating Potential Threats in Practical SSO Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-49148-6_35openalex-snapshot
Modeling and Vulnerable Points Analysis for E-commerce Transaction System with a Known Attack
inferred← citeshttps://doi.org/10.1007/978-3-319-49148-6_7openalex-snapshot
A Reduction Method of Analyzing Data-Liveness and Data-Boundedness for a Class of E-commerce Business Process Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-78813-5_24openalex-snapshot
Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols
inferred← citeshttps://doi.org/10.1007/978-3-642-36563-8_1openalex-snapshot
Control-Flow Integrity in Web Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-36563-8_10openalex-snapshot
dkal ⋆ : Constructing Executable Specifications of Authorization Protocols
inferred← citeshttps://doi.org/10.1007/978-3-642-38592-6_16openalex-snapshot
Asynchronously Communicating Visibly Pushdown Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-41036-9_4openalex-snapshot
Reachability Modulo Theories
inferred← citeshttps://doi.org/10.1007/978-3-642-41488-6_16openalex-snapshot
A Survey on Control-Flow Integrity Means in Web Application Frameworks
inferred← citeshttps://doi.org/10.1007/978-3-642-55415-5_22openalex-snapshot
Ghostrail: Ad Hoc Control-Flow Integrity for Web Applications
inferred← citeshttps://doi.org/10.1007/s11432-014-5145-1openalex-snapshot
XAS: Cross-API scripting attacks in social ecosystems
inferred← citeshttps://doi.org/10.1007/s11633-016-1051-xopenalex-snapshot
Lom: Discovering logic flaws within MongoDB-based web applications
inferred← citeshttps://doi.org/10.1016/j.future.2016.01.003openalex-snapshot
Expanded cloud plumes hiding Big Data ecosystem
inferred← citeshttps://doi.org/10.1016/j.future.2018.04.090openalex-snapshot
Petri net-based methods for analyzing structural security in e-commerce business processes
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.02.005openalex-snapshot
Securing web applications from injection and logic vulnerabilities: Approaches and challenges
inferred← citeshttps://doi.org/10.1016/j.jisa.2019.102358openalex-snapshot
Security analysis of third-party in-app payment in mobile applications
inferred← citeshttps://doi.org/10.1016/j.neucom.2020.08.003openalex-snapshot
Mobile behavior trusted certification based on multivariate behavior sequences
inferred← citeshttps://doi.org/10.1049/iet-ifs.2018.5615openalex-snapshot
ANOVUL: Detection of logic vulnerabilities in annotated programs via data and control flow analysis
inferred← citeshttps://doi.org/10.1109/access.2018.2806884openalex-snapshot
Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints
inferred← citeshttps://doi.org/10.1109/access.2018.2876904openalex-snapshot
Locating and Controlling Unsound Transitions in Workflow Systems Based on Workflow Net With Data Constraints
inferred← citeshttps://doi.org/10.1109/access.2019.2955466openalex-snapshot
A Complex Event Processing-Based Online Shopping User Risk Identification System
inferred← citeshttps://doi.org/10.1109/access.2021.3085832openalex-snapshot
Detecting Data Inconsistency Based on Workflow Nets With Tables
inferred← citeshttps://doi.org/10.1109/access.2025.3529016openalex-snapshot
Repairing Errors of Inconsistent Data Based on WFT-Nets
inferred← citeshttps://doi.org/10.1109/acit57182.2022.9994086openalex-snapshot
Discovering Authorization Business Rules toward Detecting Web Applications Logic Flaws
inferred← citeshttps://doi.org/10.1109/cloud.2015.88openalex-snapshot
Everything as a Service (XaaS) on the Cloud: Origins, Current and Future Trends
inferred← citeshttps://doi.org/10.1109/cse-euc-dcabes.2016.240openalex-snapshot
A Model-Based Testing Approach for Security Protocols
inferred← citeshttps://doi.org/10.1109/cybersecurity.2012.13openalex-snapshot
WAVES: Automatic Synthesis of Client-Side Validation Code for Web Applications
inferred← citeshttps://doi.org/10.1109/eurosp.2017.45openalex-snapshot
Large-Scale Analysis & Detection of Authentication Cross-Site Request Forgeries
inferred← citeshttps://doi.org/10.1109/fie.2015.7344155openalex-snapshot
Using a case study to teach students about finding and fixing logic flaws in software
inferred← citeshttps://doi.org/10.1109/hpcc-smartcity-dss.2016.0200openalex-snapshot
OSaaS: Online Shopping as a Service to Escalate E-Commerce in Developing Countries
inferred← citeshttps://doi.org/10.1109/icdmw.2016.0054openalex-snapshot
Authenticating Web User’s Identity through Browsing Sequences Modeling
inferred← citeshttps://doi.org/10.1109/icssa.2016.15openalex-snapshot
A Security Analysis of Paid Subscription Video-on-Demand Services for Online Learning
inferred← citeshttps://doi.org/10.1109/infocom.2018.8486369openalex-snapshot
A Novel Graph-based Mechanism for Identifying Traffic Vulnerabilities in Smart Home IoT
inferred← citeshttps://doi.org/10.1109/itoec.2017.8122497openalex-snapshot
Research on a mixed cryptosystem with perfect privacy
inferred← citeshttps://doi.org/10.1109/jiot.2018.2877634openalex-snapshot
NormaChain: A Blockchain-Based Normalized Autonomous Transaction Settlement System for IoT-Based E-Commerce
inferred← citeshttps://doi.org/10.1109/pac.2017.29openalex-snapshot
Privilege Leakage and Information Stealing through the Android Task Mechanism
inferred← citeshttps://doi.org/10.1109/secdev.2016.035openalex-snapshot
Self-Verifying Execution (Position Paper)
inferred← citeshttps://doi.org/10.1109/smartworld-uic-atc-scalcom-iop-sci.2019.00304openalex-snapshot
Analyzing the Validation Flaws of Online Shopping Systems Based on Coloured Petri Nets
inferred← citeshttps://doi.org/10.1109/snpd.2015.7176215openalex-snapshot
Various “aaS” of everything as a service
inferred← citeshttps://doi.org/10.1109/sp.2012.30openalex-snapshot
Signing Me onto Your Accounts through Facebook and Google: A Traffic-Guided Security Study of Commercially Deployed Single-Sign-On Web Services
inferred← citeshttps://doi.org/10.1109/sp.2014.12openalex-snapshot
When HTTPS Meets CDN: A Case of Authentication in Delegated Service
inferred← citeshttps://doi.org/10.1109/sp.2014.49openalex-snapshot
An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System
inferred← citeshttps://doi.org/10.1109/sp.2015.56openalex-snapshot
Securing Multiparty Online Services Via Certification of Symbolic Transactions
inferred← citeshttps://doi.org/10.1109/sp.2018.00039openalex-snapshot
Mobile Application Web API Reconnaissance: Web-to-Mobile Inconsistencies & Vulnerabilities
inferred← citeshttps://doi.org/10.1109/sp46214.2022.9833681openalex-snapshot
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification
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/tase.2022.3206999openalex-snapshot
Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets
inferred← citeshttps://doi.org/10.1109/tcss.2022.3232619openalex-snapshot
A Multiperspective Fraud Detection Method for Multiparticipant E-Commerce Transactions
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.2016.2598287openalex-snapshot
Analyzing E-Commerce Business Process Nets via Incidence Matrix and Reduction
inferred← citeshttps://doi.org/10.1109/tsmc.2023.3299605openalex-snapshot
Modeling and Analyzing Logic Vulnerabilities of E-Commerce Systems at the Design Phase
inferred← citeshttps://doi.org/10.1109/wccct.2014.49openalex-snapshot
DIOS Middleware Architecture for the Identification of Performance Factors in E-Shopping With Complex Event Processing
inferred← citeshttps://doi.org/10.1145/2382196.2382204openalex-snapshot
The most dangerous code in the world
inferred← citeshttps://doi.org/10.1145/2413296.2413309openalex-snapshot
Holographic vulnerability studies
inferred← citeshttps://doi.org/10.1145/2541315openalex-snapshot
A survey on server-side approaches to securing web applications
inferred← citeshttps://doi.org/10.1145/2590296.2590324openalex-snapshot
Scanning of real-world web applications for parameter tampering vulnerabilities
inferred← citeshttps://doi.org/10.1145/3377811.3380355openalex-snapshot
Finding client-side business flow tampering vulnerabilities
inferred← citeshttps://doi.org/10.1145/3564625.3564641openalex-snapshot
Analysis of Payment Service Provider SDKs in Android
inferred← citeshttps://doi.org/10.1145/3658644.3670342openalex-snapshot
RIoTFuzzer: Companion App Assisted Remote Fuzzing for Detecting Vulnerabilities in IoT Devices
inferred← citeshttps://doi.org/10.1155/2018/7849065openalex-snapshot
Resetting Your Password Is Vulnerable: A Security Study of Common SMS‐Based Authentication in IoT Device
inferred← citeshttps://doi.org/10.1155/2022/4434714openalex-snapshot
A Detection Method for Abnormal Transactions in E‐Commerce Based on Extended Data Flow Conformance Checking
inferred← citeshttps://doi.org/10.14257/ijgdc.2015.8.6.21openalex-snapshot
Exploring the Categories and Models of Everything as a Service (XaaS)
inferred← citeshttps://doi.org/10.14722/ndss.2014.23021openalex-snapshot
Toward Black-Box Detection of Logic Flaws in Web Applications
inferred← citeshttps://doi.org/10.14722/ndss.2014.23351openalex-snapshot
Detecting Logic Vulnerabilities in E-commerce Applications
inferred← citeshttps://doi.org/10.14722/ndss.2016.23286openalex-snapshot
Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications
inferred← citeshttps://doi.org/10.14722/ndss.2017.23091openalex-snapshot
Show Me the Money! Finding Flawed Implementations of Third-party In-app Payment in Android Apps
inferred← citeshttps://doi.org/10.25046/aj020418openalex-snapshot
An Efficient Authentication Method For Smart Card Verification In Online
inferred← citeshttps://doi.org/10.2991/ijndc.2016.4.1.4openalex-snapshot
Sorting Terms of “aaS” of Everything as a Service
inferred← citeshttps://doi.org/10.31142/ijtsrd23946openalex-snapshot
QR Code Based Secure Billing System for Shops using Cued Click Points
inferred← citeshttps://doi.org/10.3233/jcs-140498openalex-snapshot
Automated detection of parameter tampering opportunities and vulnerabilities in web applications
inferred← citeshttps://doi.org/10.32628/cseit206543openalex-snapshot
A Survey on Web Application Security
inferred← citeshttps://doi.org/10.4018/978-1-5225-0105-3.ch012openalex-snapshot
Security Issues and Countermeasures of Online Transaction in E-Commerce
inferred← citeshttps://doi.org/10.4018/978-1-5225-2599-8.ch046openalex-snapshot
Security Issues and Countermeasures of Online Transaction in E-Commerce
inferred← citeshttps://doi.org/10.46243/jst.2022.v7.i10.pp72-85openalex-snapshot
Teaching Computer Science Students to Communicate Scientific Findings More
inferred← citeshttps://doi.org/10.48550/arxiv.1507.00939openalex-snapshot
Evolution of as-a-Service Era in Cloud
inferred← citeshttps://doi.org/10.5120/ijca2019919683openalex-snapshot
Design and Execution of Automated Sub-Dealer Management System Software
inferred← citeshttps://doi.org/10.70675/02e964afz3bb1z45dbz99a4z982ee83ecc25openalex-snapshot
On the security of authentication protocols on the web
inferred← citeshttps://doi.org/10.70675/21f0e22dza402z419azb9c5z2106b40442f9openalex-snapshot
Detection of logic flaws in multi-party business applications via security testing
inferred← citeshttps://doi.org/10.70675/51836a90zee52z460cza2bbz580017683abaopenalex-snapshot
Testability Tarpits - Navigating the Challenges of Static Tools in Web Applications
inferred← citeshttps://doi.org/10.70675/f7dbbaf8za674z4967za1abzfafd2db62493openalex-snapshot
Formal verification of the Internet Key Exchange (IKEv2) security protocol
showing the first 90 of 91 · page through all 91
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.