Towards Perceived Security, Perceived Privacy, and the Universal Design of E-Payment Applications
本文通过构建高保真电子支付应用原型并对12名参与者进行试点研究，从安全、隐私和可用性三个角度评估用户体验，发现用户会基于可用性感知安全与隐私强度，并提出通用设计建议。
2024-07-07 cs.CR cs.HC
Security Certification in Payment Card Industry: Testbeds, Measurements, and Recommendations
大规模的支付卡行业（PCI）涉及各种实体，如商家，发行银行，收单银行和卡品牌。确保处理支付卡信息的所有实体的安全性是一项具有挑战性的任务。PCI安全标准委员会要求所有实体遵守PCI数据安全标准（DSS），该标准规定了一系列安全要求。然而，很少有人知道如何以及PCI DSS在实践中执行。在本文中，我们采取了测量的方法来系统地评估PCI DSS认证过程中的电子商务网站。我们开发了一个电子商务Web应用程序测试平台BuggyCart，它可以灵活地添加或删除35个PCI DSS相关的漏洞。然后，我们使用测试平台来检查PCI扫描仪的能力和局限性以及认证过程的严格性。我们发现，安全标准与其现实世界的执行之间存在着惊人的差距。我们测试的6个PCI扫描仪都不完全符合PCI扫描指南，向仍然存在重大漏洞的商家颁发证书。为了进一步检查真实世界电子商务网站的合规状况，我们构建了一个新的轻量级扫描工具，名为PciquickerLite，并扫描了不同行业的1，203个电子商务网站。结果证实，86%的网站至少有一个PCI DSS违规行为，应该取消他们的资格。我们深入的准确性分析还表明，PciuberkerLite的输出比w3af更精确。我们与PCI安全理事会联系，分享我们的研究成果，以改善实践中的执行情况。
2020-02-07 cs.CR
Security in Next Generation Mobile Payment Systems: A Comprehensive Survey
Air University（空军大学）；Vellore Institute of Technology（韦洛尔理工学院）；Comenius University in Bratislava（布拉迪斯拉发夸美纽斯大学）
现金支付在几个市场仍然是王道，在几乎所有发展中国家，现金支付占支付的90%以上。手机的使用在这个时代是非常普通的。手机已经成为许多用户不可分割的朋友，服务的不仅仅是通信工具。由于多方面的使用和负担能力，每个后来的人都严重依赖它们。每个人都希望通过使用他/她的移动电话来管理他/她的日常事务和相关问题。随着移动特定安全的兴起和进步，威胁也在不断发展。在本文中，我们提供了一个调查的各种安全模型的手机。我们探讨了移动支付系统（MPS）的多种建议模型，它们的技术和比较，支付方法，MPS中涉及的不同安全机制，并提供MPS中的加密技术，认证方法和防火墙的分析。我们还提出了当前的挑战和移动电话安全的未来方向。
2021-07-10 cs.CR cs.CV
Novel Logical Method for Security Analysis of Electronic Payment Protocols
电子支付协议在电子商务安全中起着至关重要的作用，是电子商务活动安全运行的基础。形式化方法是验证协议安全性的有效方法。但目前的形式化方法缺乏对电子支付协议中时效性的描述和分析。为了提高电子支付协议的分析能力，提出了一种分析电子支付协议中可追究性、公平性和及时性等安全属性的新方法。该方法扩展了已有的逻辑方法，增加了简洁的时间表示和分析方法.它能够描述事件的时间，扩展了逻辑推理规则的时间特性。利用该方法对Netbill协议进行了分析，发现由于时间性问题，该协议的公平性不理想。结果表明，新方法能够分析电子支付协议的关键属性。此外，该方法还可用于分析密码协议的其他时间特性。
2017-06-30 cs.CR cs.LO
Provably Unlinkable Smart Card-based Payments
针对EMV支付缺乏隐私的问题，提出UTX协议，在不损害安全与功能的前提下实现匿名和不可关联支付，并形式化验证其安全隐私属性。
2023-09-06 cs.CR
System-Wide Security for Offline Payment Terminals
大多数自助服务支付终端需要网络连接来处理电子支付。保持网络连接的必要性增加了成本，引入了网络安全风险，并大大限制了终端可以安装的地方的数量。领先的支付服务提供商已经提出了依赖于算法生成的支付令牌的离线支付解决方案。然而，现有的支付令牌解决方案需要复杂的身份验证、交易管理机制，最重要的是安全风险管理机制。在本文中，我们介绍了VolgaPay，这是一个基于区块链的系统，允许商家部署安全的离线支付终端基础设施，不需要收集和存储任何敏感数据。我们设计了一种新的支付协议，它可以减轻VolgaPay所有参与者的安全威胁，这样对手完全访问任何组件的最大损失只会造成有限范围的伤害。我们通过多项式多哈希链微支付通道和区块链嫁接的链下通道状态转换的组合，实现了安全性，运营效率和成本降低的显著增强。我们实施了VolgaPay支付系统，并通过全面的评估和安全分析，证明VolgaPay能够为离线支付终端提供快速，安全和经济高效的解决方案。
2021-07-18 cs.CR cs.DC cs.NI
Secure Mobile Payment Architecture Enabling Multi-factor Authentication
本文针对传统移动支付系统未能充分利用智能手机安全能力的问题，提出一种利用现代智能手机验证资金、生物特征和位置等多因素的新型移动支付架构，以提升交易合法性和用户体验。
2023-04-19 cs.CR cs.NI
Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
针对比特币支付协议标准BIP70因缺乏退款地址认证易受退款攻击的问题，首次构建其形式化模型并定义退款地址安全目标，分析验证原协议漏洞后提出带公开可验证证据的修订方案，证明修订后协议满足安全目标。
2021-03-15 cs.CR cs.FL
Improving the Security of Smartwatch Payment with Deep Learning
St Anne’s College（圣安妮学院）
本文研究利用深度学习减少智能手表支付认证系统注册所需手势数量，通过构建优于现有方法的深度学习认证系统，并提出正则化自编码器生成合成手势，在不降低错误率的前提下显著减轻用户注册负担。
2023-07-11 cs.CR cs.LG
When HTTP 402 Meets the Blockchain: Risks on Emerging x402 Payments
EPFL（洛桑联邦理工学院）；Zhejiang University（浙江大学）
研究x402支付协议，通过系统研究确定促进者的安全规则，基于规则违规分析得出新攻击向量，提出半自动黑盒工具评估安全性，发现部署均有违规，还通过实证测量量化相关指标，揭示其安全风险。
2026-07-23 cs.CR
SoK: Attacks on Modern Card Payments
本文系统化研究了EMV非接触式支付协议的攻击，提出了涵盖安全属性与对手模型的综合框架，分类协议缺陷并展示其组合攻击方式，同时探究攻击根源并指明改进方向。
2025-04-04 cs.CR
A Privacy-Preserving Electronic Payment System for DRM
在线业务的主要考虑因素之一是客户隐私。消费者对被卖家监视和识别不感兴趣。一些解决方案被提出来隐藏客户的选择，但在支付阶段，将有一个泄漏的信息，因为在线购物者可以推断一些信息，客户的偏好，由于价格，这是由客户支付。这是对客户隐私的巨大威胁。我们解决这个问题的方案包括一些一个单位的支付步骤，不能相互联系或客户的身份。在购买结束时，内容提供方将收到适当数量的钱，而客户将匿名获得有效的许可证。内容提供方将无法获得有关客户或所购买内容的任何信息。此外，一个纠纷解决方案的情况下，客户和内容提供方之间的冲突。对方案的安全性、复杂性和DRM要求进行了一系列的分析，表明了方案的安全性和实用性。
2014-08-29 cs.CR
Defending against cybersecurity threats to the payments and banking system
支付和银行系统的网络安全威胁已成为全球性的威胁。这种现象迫使金融机构将风险作为其业务模式的一部分。因此，对先进技术和安全措施的有意投资已成为必要，以防止因网络攻击而可能发生的重大财务损失和信息泄露。网络犯罪的扩散是银行业各利益相关者的巨大担忧。通常，网络攻击是通过在网络空间中的计算系统上运行的软件系统来执行的。因此，为了防止对软件系统的网络攻击风险，必须识别在网络空间内运行的实体，并在分析漏洞和开发防御机制后隔离对应用程序安全的威胁。本文将研究识别网络空间中资产的各种方法，对网络威胁进行分类，提供安全防御，并将安全措施映射到控制类型和功能。因此，采用正确的应用程序来应对安全威胁和防御将有助于IT专业人员和用户做出决策，以开发强大的深度防御机制。
2022-12-15 cs.CR cs.CY
Model Checking the Security of the Lightning Network
针对闪电协议复杂度高、状态空间大导致安全验证难的问题，研究人员用TLA+形式化建模闪电网络，通过时间抽象和分模块精化缩减状态空间，实现了最多4跳、2笔并发支付模型的安全模型检测，验证了当前规范的安全性。
2025-05-21 cs.CR cs.LO
SSMS - A Secure SMS Messaging Protocol for the M-payment Systems
全球用户数量最多的GSM网络存在几个安全漏洞。短消息服务（SMS）是GSM网络中具有全球可用性的优越且久经考验的服务之一。本文的主要贡献是引入一个新的安全应用层协议，称为SSMS，有效地嵌入所需的安全属性的SMS消息中使用的移动支付系统中的安全承载。SSMS有效地将机密性、完整性、认证和不可否认性嵌入到SMS消息中。它提供了一种基于椭圆曲线的公钥解决方案，该解决方案使用公钥来建立对称加密的秘密密钥。它还提供了公共验证和前向保密的属性。它有效地使短信适用于移动支付应用的安全性是非常关注。
2012-03-16 cs.CR cs.NI
A Survey on Smartphones Security: Software Vulnerabilities, Malware, and Attacks
如今，智能手机及其应用程序的使用在人们的日常生活中已经变得越来越流行。在过去的十年中，移动支付系统和应用程序市场等移动货币服务的可用性显着增加，这是由于移动设备提供的不同形式的应用程序和连接，如3G，4G，GPRS和Wi-Fi等。因此，智能手机已成为恶意程序员的理想目标设备。随着安全漏洞和攻击数量的增加，研究人员提出的安全对策也相应上升。由于这些原因，支付系统的安全性是移动支付系统中最重要的问题之一。在本次调查中，我们的目标是为智能手机设备的安全解决方案的研究提供一个全面和结构化的概述。该调查回顾了2011年至2017年期间安全解决方案、威胁和漏洞的最新技术水平，重点关注软件攻击，例如针对智能手机应用程序的攻击。我们概述了一些对策，旨在保护智能手机免受这些群体的攻击，基于检测规则，数据汇集和操作系统，特别是专注于开源应用程序。通过这种分类，我们希望为用户和研究人员提供一个简单的理解，以提高他们对智能手机安全和隐私的了解。
2020-01-26 cs.CR
Investcoin: A System for Privacy-Preserving Investments
这项工作提出了一个新的框架，在分布式模型中的隐私保护投资系统。在这种模式下，独立投资者可以将资金转移到独立项目中，就像在众筹平台上一样。该框架保护投资者的单笔付款不被任何其他方发现，只显示每个投资者的付款总额。同样，项目的单一收入付款也被隐瞒，只披露每个项目的最后收入付款总额。通过这种方式，除了投资者（甚至系统管理员）之外，没有其他人可以检测到她为任何单个项目支付了多少钱。尽管仍然可以在任何一对投资者之间秘密交换投资的任何部分，因此市场流动性不受系统的影响。最重要的是，我们的框架允许将所有持有的投资（例如利息支付或股息）的倍数返还给个人投资者，同时仍然只透露每个投资者的所有回报之和。我们提供合理的安全保证，这个框架是基于安全多方计算文献的共同概念。作为这个框架的实例，我们提出了Investcoin。它是三种加密协议的适当组合，即私有流聚合方案，承诺方案和范围测试，并且它可用于与任何现有货币连接。这些协议的安全性是基于DDH假设的。根据SMPC文献中的复合定理，所得到的Investcoin协议的安全性也基于DDH假设。此外，我们还为Investcoin提供了一个简单的去中心化密钥生成协议，支持投资者的动态加入/离开和容错，并实现了对恶意投资者的一些安全保证。
2017-06-13 cs.CR
Advanced Payment Security System:XGBoost, LightGBM and SMOTE Integrated
Northeastern University（东北大学）；Johns Hopkins University（约翰斯·霍普金斯大学）；University of Massachusetts Lowell（马萨诸塞大学洛厄尔分校）；University of Chicago（芝加哥大学）；University of Michigan, Ann Arbor（密歇根大学安娜堡分校）
本文针对在线支付交易欺诈问题，提出集成XGBoost、LightGBM与SMOTE的支付安全保护模型，通过特征选择与局部集成策略，相比传统模型提升近6%，显著增强了欺诈检测性能。
2024-11-12 cs.AI cs.CR cs.LG
Detection of AI Deepfake and Fraud in Online Payments Using GAN-Based Models
National University of Singapore（新加坡国立大学）；University of Colorado Boulder（科罗拉多大学博尔德分校）；University of Minnesota（明尼苏达大学）；University of California, Davis（加州大学戴维斯分校）；Texas A&M University（得克萨斯农工大学）
本文提出基于GAN的模型，用于检测在线支付中的AI深度伪造和欺诈，通过高精度识别支付图像中的篡改以提升支付系统安全性。
2025-12-31 cs.CR cs.CV cs.LG
Optimizing Virtual Payment Channel Establishment in the Face of On-Path Adversaries
本文首次将虚拟支付通道建立形式化为优化问题，提出兼顾交易成本、安全与隐私的 ILP 及快速贪心算法，并在 Lightning Network 快照上验证其有效性。
2024-05-09 cs.CR
Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network
本文基于BOLT规范构建闪电网络单跳支付协议的形式化模型并用Spin验证，定义安全性质后发现新型支付竞赛攻击，该攻击可使无辜用户损失资金，并在本地测试环境中验证了其可行性。
2024-05-03 cs.CR
Beyond the Mandate: A Systematic Security Analysis of the Agent Payments Protocol (AP2)
Ben-Gurion University of the Negev（内盖夫本-古里安大学）；Intuit（Intuit公司）
本文对谷歌AP2 v0.2开展系统性安全分析，识别出48种威胁及8种高风险威胁，构建测试平台与扫描器，发现授权签名无法保障智能体交易反映用户意图。
2026-08-26 cs.AI cs.CR
Safe Low Bandwidth SPV: A Formal Treatment of Simplified Payment Verification Protocols and Security Bounds
University of Exeter Business School（埃克塞特大学商学院）
本文从第一性原理形式化重建比特币SPV协议，证明其在有界对抗假设下安全且最优，并引入低带宽优化，为安全实现提供蓝图并反驳对非验证客户端的误解。
2025-07-01 cs.CL cs.CR cs.DC
SoK: Security of Autonomous LLM Agents in Agentic Commerce
Nanjing University（南京大学）；Southern University of Science and Technology（南方科技大学）；City University of Hong Kong（香港城市大学）
本文系统分析了自主LLM代理在商业中的安全问题，提出统一的安全框架，识别12种跨层攻击向量，并提出分层防御架构以解决现有协议的授权漏洞。
2026-05-01 cs.CR cs.MA
A Formal Analysis of Agent Payment Protocols
Southern University of Science and Technology（南方科技大学）；Indian Institute of Technology（印度理工学院）；City University of Hong Kong（香港城市大学）
该研究在Tamarin中对x402等四种智能体支付协议进行形式化分析，复现46个验证案例并发现40个新一致性问题，提出18项安全原则，验证了委托授权需与经济服务效果一致的结论。
2026-09-02 cs.AI cs.CR
A Hybrid Security Framework for Mini-Programs: Visual UI Compliance and Network Risk Assessment
Hainan University（海南大学）
针对微信小程序界面交互与操作安全问题，本文开发融合YOLOv8与mitmproxy的混合检测框架，可检查UI合规性并评估网络风险，保障用户财产安全。
2026-08-27 cs.CR
Towards a Formal Verification of the Lightning Network with TLA+
本文使用TLA+形式化验证比特币闪电网络协议的安全性，通过中间规范与精化链克服状态空间爆炸问题，证明协议满足预期安全属性。
2023-07-05 cs.CR cs.DC cs.LO
Survey of Strong Authentication Approaches for Mobile Proximity and Remote Wallet Applications - Challenges and Evolution
钱包可以被描述为用于配置、访问和分析来自底层支付应用的数据的容器应用。有两种主要类型的数字钱包应用程序：近距离钱包和远程钱包。在支付行业中，人们经常听到分别用于近距离或远程钱包或底层支付应用程序的身份验证方法，但据我们所知，对于组合钱包，持有者应用程序没有这种方法。而由移动网络运营商控制的安全元件（SE）（即，SIM卡）可以确保强认证，它在支付中的业务合作伙伴之间引入了强依赖性，因此不会得到分数。可信执行环境[3，4，5]或可信计算[24]形式的嵌入式SE可能会在未来解决这个问题。但这类设备往往有点昂贵，而且市场上并不丰富。同时，多年来，涉及设备指纹识别和用于条件多因素认证的其他上下文信息的基于上下文的认证将盛行，并且将保持为用于来自不同能力和价格范围的各种供应商的移动设备的最主要和最强的认证机制。2014年发布的EMVCo支付令牌标准试图以一般方式解决基于钱包的支付的安全性。作者认为，EMVCo支付令牌的实现很可能会随着时间的推移而发展，令牌服务提供商将开始坚持在发行一次性支付令牌之前将设备指纹识别作为强有力的身份验证手段。本文讨论了支付和钱包应用程序中使用的现有身份验证机制的挑战及其演变。
2014-12-09 cs.CR
Free-Riding the Agentic Web: A Systematic Security Analysis of x402 Payments
City University of Hong Kong（香港城市大学）；Zhejiang University（浙江大学）；The Chinese University of Hong Kong（香港中文大学）
本文首次对x402协议生态进行安全分析，通过形式化五个安全不变量，揭示了同步HTTP请求与异步区块链最终性之间的状态同步漏洞，并提出了请求绑定签名和悲观状态锁定等缓解措施。
2026-06-22 cs.CE cs.CR
The EMV Standard: Break, Fix, Verify
EMV是电子货币支付的国际协议标准，在全球范围内使用超过90亿张卡。尽管该标准宣传了安全性，但之前已经发现了各种问题，这些问题源于EMV冗长而复杂的规范中难以发现的逻辑缺陷，超过2,000页。我们正式的EMV在Tamarin，一个国家的最先进的协议验证器的综合符号模型。我们的模型是第一个支持对EMV旨在提供的所有相关安全保证进行细粒度分析的模型。我们使用我们的模型来自动识别导致两种关键攻击的缺陷：一种是欺骗持卡人，另一种是欺骗商家。首先，犯罪分子可以使用受害者的Visa非接触式卡支付需要持卡人验证的金额，而不知道卡的PIN。我们构建了一个概念验证的Android应用程序，并成功地在现实世界的支付终端上演示了这种攻击。第二，犯罪分子可以欺骗终端接受不真实的离线交易，在犯罪分子带走货物后，发卡银行应该会拒绝。这种攻击对于遵循标准的实现是可能的，尽管出于道德原因，我们没有在实际终端上进行测试。最后，我们提出并验证改进的标准，防止这些攻击，以及任何其他攻击，违反了考虑的安全属性。建议的改善措施可轻易在终端机实施，而不会影响流通的卡。
2021-02-17 cs.CR
Doing good by fighting fraud: Ethical anti-fraud systems for mobile payments
University of California, Davis（加州大学戴维斯分校）；Bouncer Technologies（Bouncer科技公司）
应用程序构建者通常使用安全挑战，一种升级身份验证的形式，来为他们的应用程序增加安全性。然而，这种类型的建筑的伦理含义以前没有研究过。在本文中，我们提出了一个大规模的测量研究运行现有的反欺诈安全挑战，拳击手，在移动设备上运行的实际应用程序。我们发现，尽管Boxer总体上运行良好，但它无法在运行其机器学习模型的设备上以低于每秒一帧（FPS）的速度进行有效扫描，从而阻止了使用廉价设备的用户。从我们的研究的见解，我们设计的Daredevil，新的反欺诈系统扫描支付卡，工作膨胀在广泛的性能特征和硬件配置上发现现代移动设备。与Boxer相比，Daredevil将运行速度低于1 FPS的设备数量减少了一个数量级，为打击欺诈提供了一个更公平的系统。总的来说，我们从5，085，444个真实设备中收集数据，这些设备分布在496个运行生产软件并与真实用户交互的真实应用程序中。
2021-06-29 cs.AI cs.CR cs.CY
A Security Framework for General Blockchain Layer 2 Protocols
TU Wien（维也纳工业大学）；Common Prefix
本文提出了一种通用的安全框架，用于区块链第二层协议，在IITM风格的通用可组合性(iUC)模型中，通过模块化的理想功能F_layer2抽象机制细节，为广泛的L2协议提供统一的安全、活性和数据可用性定义，并展示了该框架在三种代表性构造中的应用，包括Brick支付通道、Liquid侧链和Arbitrum Nitro rollup。
2026-05-18 cs.CR
CHAINGE: A Blockchain Solution to Automate Payment Detail Updates to Subscription Services
University of Portsmouth（朴茨茅斯大学）；University of Peloponnese（伯罗奔尼撒大学）
基于订阅的商业模式的兴起导致客户需要管理其付款的订阅数量相应增加。对于客户来说，这种对多个订阅的支付的管理已经成为一项非常复杂和不安全的任务，特别是当卡丢失、被盗或过期时更新支付细节时。此外，根据安全报告，这个主要是手动的流程很容易出现人为错误、数字欺诈和数据泄露。因此，在本文中，我们提出了一种新的方法来自动化，管理和简化金融供应链的更新和管理支付给用户订阅的过程中所涉及的。这是通过利用Hyperledger Sawtooth区块链框架来实现的，该框架允许消费者在中央数字钱包中输入他们的支付卡详细信息，并将他们的订阅链接到他们的卡。正在更新的卡会触发区块链上的一个事件，这允许在订阅系统上自动更新支付细节。对拟议系统的原型进行的验证测试表明，其目前的实施已安全实现。
2021-08-28 cs.AI cs.CR
A Novel Anonymous Cloud Architecture Design; Providing Secure Online Services and Electronic Payments
匿名云架构为企业和电子商务方法提供了安全的环境。通过使用这种类型的架构，我们可以提出匿名在线应用程序。需要安全可靠的在线服务的客户应该为提供的服务付费。一个大问题是电子支付，这是需要为客户计费。但客户身份在付款过程中和付款后都应保持匿名。在本文中，我们提出了一种新的和修改的匿名架构，确保客户隐藏自己的身份。该体系结构借鉴了常用的网络协议，由于其独立性，我们将Tor匿名服务从体系结构设计空间中剔除。本文介绍了匿名云架构设计空间中的可伸缩性参数。最后，我们将该架构与其他流行的云架构进行了比较，并根据效率，安全性和匿名性获得了其优势。
2014-04-08 cs.CR cs.DC cs.NI
An investigation of the Online Payment and Banking System Apps in Bangladesh
针对孟加拉国在线支付与银行类应用安全水平未知却被频繁使用的问题，通过静态动态分析及逆向工程等方法检测17个.apk和1个SDK，发现多项安全缺陷，揭示其需更广泛人工分析以符合标准。
2024-11-27 cs.AR cs.CR cs.SE
PQLN: Post-Quantum Security for the Bitcoin Lightning Network's Off-Chain Surfaces
East Texas A&M University（东德克萨斯农工大学）；North American University（北美大学）；Florida Gulf Coast University（佛罗里达海湾海岸大学）；Florida Institute of Technology（佛罗里达理工学院）
针对量子计算机对闪电网络链下密码学的威胁，提出混合后量子扩展 PQLN，利用 ML-DSA 和 ML-KEM 保护各表面，实现互操作且开销低。
2026-09-15 cs.CR cs.NI
Security in the Era of Perceptive Networks: A Comprehensive Taxonomic Framework for Integrated Sensing and Communication Security
CSIRO Data61（CSIRO数据六十一）
本文提出了一种综合性分类框架，用于集成感知与通信安全，涵盖威胁分类、漏洞分析、防御机制及新兴安全挑战，为安全系统开发和政策制定提供参考。
2026-01-04 cs.CR
Modeling Behavioral Signals in Job Scams: A Human-Centered Security Study
International Institute of Information Technology Hyderabad（印度信息科技研究所海得拉巴分校）
本研究通过分析行为信号识别求职诈骗中的支付行为，探讨了紧迫感和时间压力提示与付款行为的关系，揭示了测量准确性和提示定义一致性的重要性。
2026-01-27 cs.CR cs.CY
A Comprehensive Survey of Aadhar and Security Issues
Aadhaar的概念来自于每个人都需要一个独特的身份。为了实现这一目标，印度政府创建了UIDAI机构，根据人口统计和生物特征数据为每个人分发和生成用户身份。实施后，Aadhaar及其身份验证的安全问题和挑战随之而来。因此，我们的研究重点是Aadhaar从历史到现状的旅程。本文还描述了身份验证过程，以及随着时间的推移发生的更新。我们还提供了对迄今为止所目睹的安全攻击的分析，以及可能的对策及其分类。我们的主要目标是涵盖与Aadhaar相关的所有安全方面，以避免可能的安全攻击。此外，我们还包括与Aadhaar相关的最新更新和新闻。
2020-07-18 cs.CR
A Hitchhiker's Guide to Privacy-Preserving Digital Payment Systems: A Survey on Anonymity, Confidentiality, and Auditability
Bank of Italy（意大利银行）
本文综述了隐私保护数字支付系统，涵盖去中心化账本和CBDCs，提出隐私目标分类及对应密码学方法，并探讨隐私与可审计性之间的平衡挑战。
2026-04-01 cs.CR cs.DC
SISSLE in consensus-based Ripple: Some Improvements in Speed, Security and Last Mile Connectivity
加密货币正在快速应用于实时总结算和支付等领域。Ripple是一种加密货币，在银行和支付提供商中获得了突出地位。它通过Ripple协议共识算法（RPCA）解决了拜占庭将军的问题，每个服务器维护一个服务器列表，称为唯一节点列表（UNL），它代表该服务器的网络，不会集体欺骗它。当UNL上的服务器就交易达成共识时，服务器认为网络已经达成共识。在本文中，我们改进了Ripple，以实现更好的速度，安全性和最后一英里连接。我们实施弹性，鲁棒性，提高安全性和有效的信息传播（IP）的指导方针。我们增强了系统，以确保每个服务器接收来自整个网络的信息，而不仅仅是来自UNL成员。我们介绍的范式UNL重叠的IP和信任的服务器分配给自己的UNL的功能。我们的设计可以识别和减轻一些恶意行为，包括试图欺诈性地双倍支出或停止系统。我们提供了实验证据，证明我们的方法优于当前的Ripple方案。我们观察到$\geq 99.67\%$减少了双重花费攻击和审查的机会，$1.71x$增加了对$\geq 34.21\%$恶意节点的容错能力，分别针对IP的$\geq 4.97x$和$98.22x$的加速和成功率，以及分别针对共识的$\geq 3.16x$和$51.70x$的加速和成功率。
2021-05-15 cs.CR cs.DC
Private Electronic Payments with Self-Custody and Zero-Knowledge Verified Reissuance
本文扩展了Goodell等人提出的数字转账协议，通过审计日志与零知识证明结合，实现重发行资产的验证，同时保护支付者的隐私并防止非原发行者创建资产。
2025-01-14 cs.CR cs.CY
A Comprehensive Analysis of Pegasus Spyware and Its Implications for Digital Privacy and Security
本文系统分析 Pegasus 间谍软件的技术原理、部署方式及法律伦理争议，并提出应对此类侵入性监控威胁的潜在防护方案。
2024-04-30 cs.CR
Endpoint Security Agent: A Comprehensive Approach to Real-time System Monitoring and Threat Detection
针对网络威胁演变带来的端点安全需求，提出适用于Windows端点的模块化实时安全代理，利用WMI、ETW监控系统活动，结合机器学习检测引擎与MITRE ATT&CK框架，实现高效准确的威胁检测与标准化分类。
2025-11-11 cs.CR
Comprehensive Survey towards Security Authentication Methods for Satellite Communication Systems
本文全面综述卫星通信系统的安全认证方法，将其分为密码学、区块链、轨道信息、AKA协议和物理硬件五类，并从安全、成本、场景和实时性四维度比较，展望未来研究方向。
2025-03-30 cs.CR
LLM-Driven SAST-Genius: A Hybrid Static Analysis Framework for Comprehensive and Actionable Security
本报告提出SAST-Genius混合框架，结合LLM与SAST技术改进漏洞发现，通过上下文集成与漏洞利用生成提升分流与验证能力，将误报率降低约91%。
2025-11-04 cs.CR
Algorithmic Security is Insufficient: A Comprehensive Survey on Implementation Attacks Haunting Post-Quantum Security
本综述探讨了后量子密码（PQC）算法面临的侧信道攻击（SCA）威胁及其对策，指出仅靠算法安全性不足以应对实现攻击，并提供了PQC研究的最新进展与未来愿景。
2023-05-22 cs.CR
Research Communities in cyber security: A Comprehensive Literature Review
为了提供网络安全研究的连贯概述，Scopus学术摘要和引文数据库被挖掘，以创建1949年至2020年初活跃在该领域的98，373名作者的引文图。Louvain社区发现算法被应用到图中，以识别现有的研究社区。分析发现了12个顶级社区：访问控制、身份验证、生物识别、密码学（I & II）、网络物理系统、信息隐藏、入侵检测、恶意软件、量子密码学、传感器网络和可用安全。这些顶级社区又由总共80个次级社区组成。每个社区的分析结果以描述性文本、子社区图和表格的形式呈现，例如，引用最多的论文和作者。还提出了检测到的社区和其他相关工作定义的主题领域之间的比较，表明研究人员更加重视密码学，量子密码学，信息隐藏和生物识别技术，以牺牲法律法规，风险管理和治理以及安全软件生命周期为代价。
2021-04-22 cs.CR
Evaluation Framework for Quantum Security Risk Assessment: A Comprehensive Strategy for Quantum-Safe Transition
本文提出一个覆盖迁移前、中、后全过程的量子安全风险评估框架，结合STRIDE威胁模型识别算法、证书和协议漏洞，并给出缓解策略，助力组织向量子安全环境平稳过渡。
2024-11-15 cs.CR
Navigating Quantum Security Risks in Networked Environments: A Comprehensive Study of Quantum-Safe Network Protocols
本文系统分析 TCP/IP 各层 TLS、IPsec、SSH、PGP 等协议在量子计算下的漏洞、迁移风险及后量子密码防护效果，为协议设计、实现与政策制定提供应对指导。
2024-05-06 cs.CR
SD-WAN over MPLS: A Comprehensive Performance Analysis and Security with Insights into the Future of SD-WAN
本文分析了Housing Bank中基于MPLS的SD-WAN性能与安全，通过部署FortiGate对比传统网络，证明其在多指标上表现更优，并探讨了SASE和AI/ML等未来趋势。
2023-10-23 cs.CR
Structuring a Comprehensive Software Security Course Around the OWASP Application Security Verification Standard
软件从业人员缺乏安全专业知识是一个有许多影响的问题。首先，安全专业人员短缺，无法满足当前的需要。此外，即使不打算从事安全工作的从业人员也可以从对安全的更多理解中受益。本文的目的是通过分享第十一次软件安全课程的运行经验，帮助软件工程教育工作者设计一门综合性的软件安全课程。通过运行软件安全课程的所有十一年，课程目标是全面的-从安全测试，安全设计和编码，安全要求到安全风险管理。在第十一年，课程作业的主题是将漏洞发现映射到开放式Web应用程序安全项目（OWASP）应用程序安全验证标准（ASVS）的安全控制。根据学生在最终探索性渗透测试项目中的表现，这种映射可能增加了学生对更广泛的安全主题的理解深度。在OpenMRS项目中，学生们在三个小时的时间内有效地检测到了28种不同的常见弱点枚举（CWE）类型的191个独特和经过验证的漏洞，OpenMRS项目是一个正在使用的电子健康记录应用程序。
2021-03-08 cs.CR cs.SE
Prisec II -- A Comprehensive Model for IoT Security: Cryptographic Algorithms and Cloud Integration
针对物联网设备计算能力有限的问题，提出一个包含四级安全加密的模型，并集成云计算优化处理效率，以增强5G网络中的数据安全性和传输效率。
2024-07-23 cs.CR cs.DC
Advancing Network Security: A Comprehensive Testbed and Dataset for Machine Learning-Based Intrusion Detection
本文提出一个基于容器、Kubernetes和eBPF/XDP的网络流量生成测试平台，并公开了一个完全满足真实标签特性的小规模恶意流量数据集，以支持基于机器学习的入侵检测研究。
2024-10-23 cs.CR cs.NI
