A Logic Programming Approach for Formal Verification of NetBill Security and Transactions Protocol
使用形式化的技术来验证电子商务协议的安全特征将有助于增强此类协议的可靠性，从而提高其可用性。本文提出了应用逻辑编程技术对NetBill协议进行形式化验证的方法。本文采用ALSP（Action Language for Security Protocols）作为有效的形式化规约语言，SMODELS作为模型生成器，对协议进行形式化分析和攻击规划。
2011-01-10 cs.CR
Demystifying Invariant Effectiveness for Securing Smart Contracts
本研究针对智能合约不变式防护有效性不明的问题，开发了可基于历史交易生成定制化不变式的工具Trace2Inv，在以太坊合约测试中展现出优异的攻击拦截效果与低误报率，还发现了未被报告的漏洞利用交易。
2024-07-14 cs.CR cs.PL cs.SE
Curbing cyber-crime and Enhancing e-commerce security with Digital Forensics
近年来，信息技术及其相关设施的增长和先进扩张所必需的电子商业行业的爆炸式增长已经遇到了不利的安全问题，从而影响了行业和整个在线活动。本文件探讨电子商业所面对的主要保安威胁，即网上罪行，以及如何广泛采用与电脑有关的技术和设施，例如数码鉴证工具，以确保网上商业活动的保安。本文调查了网络犯罪给个人和组织造成的风险、损害和成本。因为它是显而易见的网上交易业务以及所有相关的在线活动已成为我们日常生活中固有的。本文还全面阐述了对电子商业安全构成严重威胁的一些网络犯罪活动。亚马逊和eBay被用作研究的案例，研究对象是光顾这些著名的电子商业网站进行各种交易的受访者。关键词：电子商业安全，网络犯罪，数字取证，网络取证，网络安全，在线交易，身份盗窃，黑客攻击。
2016-01-18 cs.CR cs.CY
Four Factor Authentication with emerging cybersecurity for Mobile Transactions
针对移动交易的安全问题，提出结合传统密码、OTP、地理定位与面部识别的四因素认证，并采用Babushka算法将数据隐藏于图像中加解密以保障安全。
2023-05-16 cs.CR
A framework for securing email entrances and mitigating phishing impersonation attacks
针对现有防护偏重邮件内容而忽视邮箱入口与设置的问题，本文提出在发送按钮加入安全码并保护转发设置，以缓解账户劫持和内部钓鱼冒充攻击。
2023-12-07 cs.CR
Phishing - A Growing Threat to E-Commerce
在当今的商业环境中，很难想象一个无法访问Web的工作场所，但各种电子邮件病毒、间谍软件、广告软件、特洛伊木马、网络钓鱼攻击、目录收集攻击、DoS攻击和其他威胁结合起来攻击企业和客户。本文试图审查网络钓鱼-一个不断增长和发展的威胁，以互联网为基础的商业交易。各种网络钓鱼方法，包括钓鱼，鱼叉式网络钓鱼，域欺骗，键盘记录程序，恶意软件，网络木马，和其他将被讨论。本文还重点介绍了反网络钓鱼工作组（APWG）和韩国互联网安全中心的最新网络钓鱼分析。
2011-12-24 cs.CR
Designing and implementing the logical security framework for e-commerce based on service oriented architecture
信息技术的快速发展促进了电子商业系统的发展，使其具有更好的交易时间和保护。现有的电子商业模型由于设计不完善，难以应对高装备、高技术的入侵者，因而缺乏逻辑安全等质量特性。本文提出了一个基于面向服务体系结构的中小型电子商业安全框架，并分析了可以避免的主要安全攻击。本文提出的安全框架将在一个开源的电子商业系统上进行实现和验证，并给出了目前所取得的成果。
2014-07-09 cs.CR cs.CY
ESP2CS: Securing Internet of Vehicles through Blockchain-enabled Communications and Payments
本文提出基于以太坊的ESP2CS方案，通过区块链中间件和配套Android应用保障车联网V2X通信与支付安全，并在成本效益、完整性和一致性上优于现有方案。
2023-12-05 cs.CR
Asymmetric Mempool DoS Security: Formal Definitions and Provable Secure Designs
本文针对区块链内存池的非对称驱逐DoS攻击，提出形式化安全定义及可证明安全的交易准入算法saferAd-CP，通过真实交易回放验证其具备低延迟与高防御下界。
2024-07-24 cs.CR
TitAnt: Online Real-time Transaction Fraud Detection in Ant Financial
Ant Financial Services Group（蚂蚁金融服务集团）
随着电子商务的爆炸式增长和电子支付的蓬勃发展，实时的检测在线交易欺诈对金融科技业务变得越来越重要。为了解决这个问题，我们引入了TitAnt，这是一个部署在蚂蚁金服的交易欺诈检测系统，蚂蚁金服是世界上最大的金融科技公司之一。该系统能够在几毫秒内预测在线实时的交易欺诈。我们提出了问题的定义，特征提取，检测方法，实施和部署的系统，以及经验的有效性。大量的真实世界的交易数据进行了广泛的实验，以显示所提出的系统的有效性和效率。
2019-06-18 cs.CR cs.LG stat.ML
TessPay: Verify-then-Pay Infrastructure for Trusted Agentic Commerce
University of Oxford（牛津大学）；Indian Institute of Technology, Delhi（德里印度理工学院）
TessPay通过'验证后支付'架构解决代理商业中的信任缺口，提供统一的交易生命周期基础设施。
2026-01-30 cs.AI cs.CR cs.MA
Performance Analysis and Application of Mobile Blockchain
随着移动商务的蓬勃发展，移动安全变得越来越重要。然而，移动商务的发展也面临着数据安全问题的挑战。最近，区块链已经被引入作为一种有效的安全解决方案，在实践中成功地部署在许多应用中，例如比特币、云计算和物联网。然而，区块链技术尚未在移动商务中被广泛采用和实施，因为其挖掘过程通常需要在标准计算单元上执行，例如，电脑因此，在本文中，我们介绍了一种新的移动商务应用程序，使用区块链技术，即区块链，以确保移动商务中的交易。特别是，在区块链应用程序中，使用我们提出的Android核心模块，可以在移动设备上有效地执行挖掘过程。通过实际实验，我们评估了所提出的模型的性能，并表明区块链将是未来移动商务的有效安全解决方案。
2017-12-11 cs.CR cs.CY cs.DC
HexE -- Securing Audio Contents in Voice Chat using Puzzle and Timestamp
HexE提出一种基于NxN数独拼图与UNIX时间戳的音频加解密算法，并结合IPFS存储，实现语音聊天内容的机密性与安全保护。
2024-01-01 cs.CR
A Holistic Approach to E-Commerce Innovation: Redefining Security and User Experience
本文提出一种新型电子商务平台，通过直观界面、高效结账流程及Google身份验证与SSL安全支付网关等强安全措施，解决Android应用购物体验差与安全隐患问题，重塑了电子商务用户体验。
2025-09-15 cs.CR cs.SE
Cloak: Transitioning States on Legacy Blockchains Using Secure and Publicly Verifiable Off-Chain Multi-Party Computation
近年来，智能合约的保密性已成为实际应用的基本要求。虽然已经做出了许多努力来开发用于执行机密智能合约的架构能力，但也有一些工作将机密智能合约扩展到多方计算（MPC），即，多方联合评估链下事务并在链上提交输出，而不向彼此泄露它们的秘密输入/输出。然而，现有的解决方案缺乏公共可验证性，需要O（n）的事务来实现协商或抵抗对手，因此效率低下，安全性受损。在本文中，我们提出了Cloak，这是一个在现有区块链上实现多方交易（MPT）的框架。MPT是指通过可公开验证的链下MPC转换区块链状态。我们通过协调TEE和区块链来识别和处理保护MPT的挑战。因此，Cloak保护了链下不确定性协商过程（一方加入MPT，而不知道身份或各方的总数，直到MPT提案解决），实现了公共可验证性（公众可以验证MPT正确处理来自多方的秘密输入/输出，并在链上读取/写入状态），并抵抗拜占庭式的对手。根据我们的证明，Cloak仅用2个事务就实现了更好的安全性，优于以前以O（n）事务成本实现妥协安全性的作品。通过评估示例和真实世界的MPT，Cloak的天然气成本平均降低了32.4%。
2023-02-10 cs.CR
Securing LLM-as-a-Service for Small Businesses: An Industry Case Study of a Distributed Chatbot Deployment Platform
RMIT University（皇家墨尔本理工大学）
本文提出一个开源多租户平台，帮助中小企业低成本安全部署定制LLM聊天机器人，通过分布式集群和加密网络实现资源池化与隔离，同时集成防提示注入攻击机制。
2026-01-21 cs.CR cs.DC
A New Trusted and E-Commerce Architecture for Cloud Computing
云计算平台为全世界人民提供了共享资源、服务和信息的机会。在私有云系统中，信息在云中的人之间共享。目前，不同类型的基于互联网的系统运行在云计算环境中。电子商业就是其中之一。目前的模型不足以安全地执行电子交易，特别是在云平台上。同样，大多数时候，客户无法区分好的在线业务公司和坏的公司，这阻碍了客户和公司迁移到云中。本文提出了一种新的电子商业体系结构，该体系结构依赖于基于加密的安全和基于模糊逻辑的确定性信任模型，这将有助于解决现有的电子商业问题。本文讨论了该模型的整个工作过程。最后，在本文的最后，我们讨论了我们提出的模型的一些实验结果，这将有助于证明我们的模型的有效性。
2013-04-25 cs.CR cs.DC
Enforcing Cybersecurity Constraints for LLM-driven Robot Agents for Online Transactions
University of The Cumberlands（坎伯兰大学）
针对LLM驱动的机器人智能体在线交易中的网络安全风险，提出结合区块链、多因素认证和实时异常检测的新型安全架构，将欺诈交易减少90%，违规检测准确率达98%，延迟仅0.05秒。
2025-03-17 cs.AI cs.CR cs.CY
TokenPatronus: A Decentralized NFT Anti-theft Mechanism
虚拟实境的出现给不可替代的令牌（NFT）带来了巨大的发展，它可以证明网络世界中唯一数字资产的所有权。NFT市场获得了投资者前所未有的关注，并创造了数十亿美元的交易量。与此同时，保护NFT仍然是一个具有挑战性的问题。最近，NFT被盗事件屡有报道，给持有人带来了不可估量的损失。我们提出了一种分散的NFT防盗机制，称为TokenPatronus，它支持通用的ERC-721标准，并为持有者提供强大的财产保护。TokenPatronus包含完整NFT交易阶段的事件前保护，事件中中断和事件后replevin增强功能。分散式防盗机制设计了四个模块，包括分散式访问控制（DAC），分散式风险管理（DRM），分散式仲裁系统（DAS）和ERC-721 G标准智能合约。TokenPatronus正在以太坊的Turtlecase NFT项目上执行，未来将支持更多区块链。
2022-08-10 cs.CR
InfDetect: a Large Scale Graph-based Fraud Detection System for E-Commerce Insurance
Ant Financial Services Group（蚂蚁金融服务集团）
保险业一直在围绕新兴的网上购物活动创造创新产品。此类电子商业保险旨在保护买家免受冲动购买和假冒伪劣等潜在风险的影响。针对在线保险的欺诈性索赔通常涉及买方、卖方和快递公司等多方，可能导致严重的经济损失。为了揭示有组织的欺诈者背后的关系，检测欺诈索赔，我们开发了一个大规模的保险欺诈检测系统，即，InfDetect，它提供了常用图形的接口，标准数据处理程序和统一的图形学习平台。InfDetect能够处理包含多达1亿个节点和数十亿条边的大图。在本文中，我们研究了不同的图，以促进欺诈者挖掘，如设备共享图，交易图，友谊图和买家-卖家图。这些图被馈送到包含监督和无监督图学习算法的统一图学习平台。最后以一个应用广泛的电子商业保险案例为例，说明了系统的使用方法和性能。InfDetect已成功检测到数千起欺诈性索赔，每天节省数万美元。
2020-03-12 cs.CR cs.LG stat.ML
Secure Energy Transactions Using Blockchain Leveraging AI for Fraud Detection and Energy Market Stability
Southern New Hampshire University（南新罕布什尔大学）；Mercy University（默西大学）；International American University（国际美国大学）；Washington University of Science and Technology（华盛顿科学技术大学）；Gannon University（甘农大学）；Farmingdale State College（法明代尔州立学院）
本研究针对去中心化美国能源市场的安全挑战，提出结合区块链与人工智能的能源交易系统，利用超120万条模拟P2P交易记录，通过双层架构实现欺诈检测与市场可靠性提升。
2025-06-21 cs.AI cs.CR cs.LG
An Integration of policy and reputation based trust mechanisms
本文通过文献综述与行业访谈分析策略型和声誉型信任机制的优劣，并以优势互补映射提出整合机制，经拍卖买卖场景实验验证其相较 eBay 与 Tradera 更能提升买方信任。
2024-06-19 cs.CR cs.SI
Securing Visually-Aware Recommender Systems: An Adversarial Image Reconstruction and Detection Framework
University at Albany USA（美国阿尔巴尼大学）；West Virginia University USA（西弗吉尼亚大学）；Duke University USA（杜克大学）
针对视觉感知推荐系统面临的商品图像对抗攻击，提出融合全局vision transformer重建与对比学习检测的联合防御框架，在FGSM、PGD及两个真实数据集上优于现有方法。
2025-05-16 cs.AI cs.CR cs.CV
Secure Decentralized IoT Service Platform using Consortium Blockchain
在过去的十年中，区块链技术在物联网（IoT）系统的研究中越来越受欢迎。作为一种由强大的加密算法保护的分布式和不可变的分类账，区块链为保护物联网系统带来了新的视角。许多研究致力于将区块链集成到物联网设备管理、访问控制、数据完整性、安全性和隐私中。相比之下，区块链促进的物联网通信研究得更少。尽管如此，我们看到了区块链在分散和保护物联网通信方面的潜力。本文提出了一种由联盟区块链技术驱动的创新物联网服务平台。所提出的解决方案将机器对机器（M2M）和人对机器（H2M）通信抽象为物联网设备提供的服务。然后，它通过智能合约和区块链交易实现物联网网络的数据交换。此外，我们引入了辅助存储器层的建议平台，以解决各种数据存储的要求。我们的概念验证实施针对不同块配置下的各种工作负载和连接大小进行了测试，以评估平台的事务吞吐量、延迟和硬件利用率。实验结果表明，我们的解决方案可以在大多数测试场景下保持高性能，并为优化区块链配置以实现最佳性能提供了有价值的见解。
2022-09-25 cs.CR cs.DC
How Agentic Is Agentic Commerce? A Population-Scale Measurement of x402 Adoption and Authenticity
City University of Hong Kong（香港城市大学）；The Chinese University of Hong Kong（香港中文大学）；Zhejiang University（浙江大学）
研究x402协议在商业中的代理程度，通过链上事件识别结算并确定真正付款人，对Base上的x402进行大规模测量，发现诸多问题，指出结算数量衡量的是可制造性而非采用情况。
2026-07-15 cs.CR cs.CY cs.SI
