TLoRa: Implementing TLS Over LoRa for Secure HTTP Communication in IoT
本研究提出TLoRa架构，通过整合TCP隧道与完整TLS 1.3握手，借助终端集线器和网络中继器在LoRa上实现端到端安全HTTPS通信，经真实硬件验证可快速建立会话并完成请求，是首个相关完整实现与评估工作。
2025-10-02 cs.CR cs.NI
Towards Forward Secure Internet Traffic
前向保密性（FS）是密钥交换算法中的一个安全属性，它保证了长期私钥的保密性不会危及过去会话密钥的保密性。随着政府和其他机构对长期大规模监视计划的认识不断提高，FS已被广泛视为一种非常理想的财产。这在用于保护互联网通信的TLS协议中尤其如此。在本文中，我们研究了TLS 1.3之前的协议中的FS，这些协议不要求FS，但今天仍然广泛使用。我们使用一种新的启发式方法对来自三个不同数据集的超过1000万个TLS服务器进行了实证分析。使用现代TLS客户端握手算法，我们的结果显示，5.37%的顶级域，7.51%的随机域和26.16%的随机IP不选择FS密钥交换算法。令人惊讶的是，39.20%的顶级域名，24.40%的随机域名和14.46%的随机IP不选择FS，支持FS。根据这一分析，我们讨论了可能的路径向前安全的互联网流量。作为对当前状态的改进，我们提出了一种新的客户端机制，我们称之为“最大努力转发安全”（BEFS），以及它的扩展，我们称之为“最大努力转发安全和认证加密”（BESAFE），其目的是引导（强制）错误配置的服务器使用最大努力的方法FS。最后，在我们的分析中，我们引入了一个新的对抗模型，我们称之为“歧视性”的对手，这是适用于TLS协议。
2019-06-29 cs.CR
Missed Opportunities: Measuring the Untapped TLS Support in the Industrial Internet of Things
将工业设备从以前孤立的网络转移到互联网的持续趋势需要对安全性进行根本性的改变，以维护安全和安全的操作。因此，为了确保端到端的安全通信和认证，（i）传统的工业协议，例如，Modbus，被改造为TLS支持，以及（ii）现代协议，例如，MQTT直接设计为使用TLS。为了了解这些变化是否确实导致安全的工业物联网部署，即，使用根据安全最佳实践配置的基于TLS的协议，我们对覆盖整个IPv4地址空间的10个工业协议进行了Internet范围的安全评估。我们的研究结果表明，改造现有的协议和新开发的安全替代品，在野外几乎不引人注目。虽然我们发现新协议的TLS采用率高于传统协议（7.2% vs. 0.4%），但TLS的总体采用率很低（6.5%的主机）。因此，大多数工业部署（934，736台主机）都不安全地连接到Internet。此外，我们发现42%支持TLS的主机（26，665台主机）显示出安全缺陷，例如，缺少访问控制。最后，我们表明，支持配置系统安全，例如，通过配置模板，有望加强安全性。
2022-06-01 cs.CR cs.NI
Short-Lived Forward-Secure Delegation for TLS
在当今的互联网上，将TLS的端到端安全性与内容分发网络（CDN）相结合，同时确保连接的真实性，这导致了具有挑战性的委托问题。当CDN服务器提供内容时，它们必须将自己认证为源服务器，以与客户端建立有效的端到端TLS连接。在标准TLS中，后者需要访问服务器的秘密密钥。为了解决这个问题，存在多种解决方法来实现身份验证的委托。在本文中，我们提出了一个解决方案，使密钥共享不必要，并减少了对变通方法的需要。通过使基于身份的签名适应这种设置，我们的解决方案提供了短暂的委托。此外，通过启用前向安全性，即使服务器的秘密密钥泄漏，现有委托也仍然有效。我们提供了一个实现方案，并讨论集成到TLS堆栈。在我们的评估中，我们表明，一个有效的实现所产生的开销比一个典型的网络往返。因此，我们提出了一种替代方法，目前在网络上的代表团的做法。
2020-11-18 cs.CR cs.NI
DSTC: DNS-based Strict TLS Configurations
大多数TLS客户端（如现代Web浏览器）强制执行粗粒度的TLS安全配置。它们支持具有已知设计弱点的协议的遗留版本，以及提供较少安全保证的弱密码套件（例如，非前向保密），主要是为了提供向后兼容性。这为降级攻击打开了大门，就像POODLE攻击[18]一样，它利用客户端的静默回退来降级协议版本，以利用遗留版本的缺陷。为了在安全性和向后兼容性之间实现更好的平衡，我们提出了一种基于DNS的机制，该机制使TLS服务器能够宣传其对最新版本协议和强密码套件（同时提供前向保密和身份验证加密）的支持。这使客户端能够考虑有关服务器的TLS配置的先验知识，以实施细粒度的TLS配置策略。也就是说，客户端对去往广告服务器的连接强制执行严格的TLS配置，而对其余连接强制执行默认配置。我们实现和评估所提出的机制，并表明它是可行的，并产生最小的开销。此外，我们对全球访问量最大的10，000个网站进行了TLS扫描，并显示大多数网站都可以从我们的机制中受益。
2018-09-15 cs.CR
Integrating Remote Attestation with Transport Layer Security
英特尔®软件防护扩展（英特尔® SGX）是一种很有前途的技术，可在不受信任的环境中安全地处理信息。英特尔SGX的一个重要方面是能够执行远程认证以评估端点的可信度。最终，远程证明将产生经证明的安全信道以将秘密提供给飞地。我们将英特尔SGX远程认证与标准传输层安全（TLS）连接的建立无缝结合。远程证明在连接设置期间执行。为了实现这一点，我们既不改变TLS协议，也不修改现有的协议实现。我们有三个广泛使用的开源TLS库的原型实现：OpenSSL，SSL和mbedTLS。我们描述了将经过认证的TLS端点无缝绑定到英特尔SGX安全区的要求、设计和实施细节。
2019-07-26 cs.CR
Quantum Secured Internet Transport
量子计算代表了对在互联网中广泛使用的传输层安全（TLS）底层的公钥基础设施的新兴威胁。本文描述了如何将QKD对称密钥与TLS一起使用，为现有的互联网应用提供量子计算安全性。我们还实现和测试了一个通用的混合密钥传递架构，QKD在安全站点之间的长距离光纤，和无线密钥分发在每个站点内的短距离最后，我们展示了这种相同的能力可以扩展到TLS密码方案具有完美的安全性。
2020-07-10 cs.CR cs.CY cs.NI
Bidirectional TLS Handshake Caching for Constrained Industrial IoT Scenarios
针对工业物联网资源受限问题，提出BiTHaC双向TLS握手缓存方法，利用握手静态部分减少冗余传输与计算，在wolfSSL中实现带宽降低61.1%、计算开销降低8.5%，保持安全保证。
2025-08-05 cs.CR cs.NI
Blockchain-based TLS Notary Service
传输层安全（TLS）协议是Internet上安全客户端-服务器通信的事实标准。它的安全性可能会被各种利用其设计和实现中的弱点的攻击所削弱。一个主要弱点的例子是TLS部署的公钥基础设施（PKI），这是一个最弱的链路系统，并引入了数百个链路（即，可信实体）。因此，攻击者只要对单个可信实体进行攻击，就可以冒充任何网站。基于多路径探测的公证系统是检测和防止此类攻击的早期和有前途的建议。不幸的是，尽管它们有好处，但并没有得到广泛部署，这主要是由于它们长期存在的问题没有得到解决。在本文中，我们提出了持久性和负责域验证（PADVA），这是下一代TLS公证服务。PADVA结合了以前提案的优点，增强了它们，引入了新的机制，并利用了提供新功能的区块链平台。PADVA保持公证人的可审计性和可问责性，引入服务级别协议和机制来执行它们，放宽对公证人的可用性要求，并与传统的TLS生态系统合作。我们实现和评估PADVA，我们的实验表明，其效率和可部署性。
2018-04-03 cs.CR
Exploring Post-Quantum Cryptographic Schemes for TLS in 5G Nb-IoT: Feasibility and Recommendations
本文研究了在5G NB-IoT中应用后量子密码方案保护TLS的可行性，发现NIST选定的Kyber密钥交换协议开销可接受，但后量子签名方案会导致高延迟和低吞吐量。
2023-09-06 cs.CR
What's in a Downgrade? A Taxonomy of Downgrade Attacks in the TLS Protocol and Application Protocols Using TLS
许多重要的现实世界协议，包括传输层安全（TLS）协议，都能够协商各种安全相关的选择，如协议版本和特定会话中使用的加密算法。此外，一些不安全的应用层协议（如简单邮件传输协议（SMTP））在应用协议之上协商TLS本身的使用，以保护通信通道。这些协议通常容易受到一类称为降级攻击的攻击，这些攻击针对这种协商机制。在本文中，我们创建了第一个TLS降级攻击分类法。我们的分类法将可能的攻击分为四个不同的向量：目标协议元素，攻击的漏洞类型，攻击方法和攻击造成的损害程度。我们的分类法基于对15个著名的已发布攻击的全面分析。我们的分类突出了许多降级攻击的共同点，并允许降级攻击的共同语言，分类和比较。我们展示了我们的分类法的应用程序进行分类调查的攻击。
2019-01-26 cs.CR
An Empirical Analysis of HTTPS Configuration Security
众所周知，安全配置HTTPS非常困难，糟糕的服务器配置导致了包括FREAK，Logjam和POODLE攻击在内的几种攻击。在这项工作中，我们经验性地评估流行网站的TLS安全态势，并努力了解运营商做出的配置决策。我们将影响网站安全状况的几个来源联系起来，包括软件默认值、云提供商和在线推荐。我们发现了一个分散的网络生态系统：虽然大多数网站都有安全的配置，但这在很大程度上是由于主要的云提供商提供了安全的默认值。单独配置的服务器通常是不安全的。这可能部分是因为可供各个运营商使用的公共资源-服务器软件默认值和在线配置指南-常常不安全。我们的研究结果强调了在测量研究中将SaaS服务与单独配置的站点分开考虑的重要性，以及服务器软件需要提供安全的默认值。
2021-11-01 cs.CR
The Sorry State of TLS Security in Enterprise Interception Appliances
企业环境中的网络流量检测（包括TLS流量）已得到广泛应用。这样做的原因主要与提高企业安全性有关（例如，恶意软件检测）并满足法律要求。为了分析TLS加密的数据，网络设备通过充当请求客户端的预期web服务器（例如，浏览器），并充当外部web服务器的客户端。因此，TLS代理必须实现TLS客户端和服务器，并处理大量的流量，最好是实时的。然而，由于TLS/HTTPS中的协议和实现层漏洞非常频繁，这些代理必须至少与现代最新的Web浏览器和正确配置的Web服务器一样安全。与客户端TLS代理（例如，正如在几个防病毒产品中一样），网络设备中的代理可以为数百到数千个客户端提供服务，并且其TLS实现中的任何漏洞都可以显著降低企业安全性。为了分析网络设备的TLS安全性，我们开发了一个全面的框架，通过结合和扩展现有的客户端和基于网络的拦截研究工作的测试。我们在一年多的时间里分析了13个代表性的网络设备（包括通知受影响供应商之前和之后的版本，共17个版本），并发现了几个安全问题。例如，我们发现四个设备根本不执行证书验证，三个设备使用预生成的证书，十一个设备接受使用MD5签名的证书，从而使其客户端面临MITM攻击。我们的目标是强调企业和政府环境中广泛使用的TLS代理所带来的风险，这些风险可能会影响托管安全，隐私和财务敏感数据的许多系统。
2018-09-24 cs.CR
Identification of Bugs and Vulnerabilities in TLS Implementation for Windows Operating System Using State Machine Learning
Defence R & D Organisation（国防研究与发展组织）；Scientific Analysis Group（科学分析小组）
TLS协议是Internet安全通信的重要组成部分。在过去，许多攻击已被确定的协议。大多数攻击是由于协议实现中的缺陷。这些缺陷是由于程序员对程序逻辑的设计和实现不当造成的。TLS的一个广泛使用的实现是SChannel，它从一开始就用于Windows操作系统。我们已经使用协议状态模糊识别脆弱的和不希望的状态转换中的状态机的SChannel的各种版本的协议。客户端和服务器组件已经使用这种技术进行了彻底的分析，并在实现中发现了各种缺陷。在特定情况下利用这些漏洞可能会导致严重的攻击，从而破坏安全通信。本文分析了SChannel库中TLS协议实现的状态机模型，并描述了这些模型中的弱点和设计缺陷，发现使用协议状态模糊。
2019-02-20 cs.CR cs.LG cs.NI
Inductive Analysis of the Internet Protocol TLS
互联网浏览器使用安全协议来保护敏感信息。TLS（SSL 3.0的后代）的归纳分析已经使用定理证明器Isabelle进行。证明基于高阶逻辑，不对信念或有限性做任何假设。所有明显的安全目标都可以得到证明;即使旧的会话密钥已经泄露，会话恢复也是安全的。这些证明建议进行一些小的修改以简化分析。TLS，即使在抽象层面上，也比研究人员已经验证的大多数协议复杂得多。会话密钥是协商而不是分发的，并且该协议有许多可选部分。然而，验证TLS所需的资源并不多：六个人工周的工作量和三分钟的处理器时间。
2019-07-17 cs.CR cs.LO
Secure Email Transmission Protocols -- A New Architecture Design
在当今的数字时代，电子邮件已成为个人和企业使用通信的重要组成部分。然而，电子邮件传输协议的设计并没有考虑到安全性，这一直是一个挑战，而试图使电子邮件传输更安全。在SMTP、POP3和IMAP协议的基本层上发送和检索电子邮件，还有几个其他主要的安全协议用于保护电子邮件传输，如TLS/SSL、STARTTLS和PGP/GPG加密。电子邮件传输架构中使用的最通用的设计是通过TLS/SSL安全信道发送的带有PGP/GPG加密的SMTP。无论如何，这些安全协议和加密方法中的漏洞，仍然可以在架构设计方面做一些工作。在本文中，我们讨论了当前的电子邮件传输安全协议和架构的挑战。我们探索了一些新的技术，并提出了一种新的电子邮件传输架构，使用EEKS结构和Schnorr签名，以消除使用PGP/GPG加密，同时实现完美的前向安全。
2022-07-31 cs.CR cs.NI
Quantum-Ready Secure WAN: A Risk Assessment and Migration Framework
The university of Southern Mississippi（南密西西比大学）
针对企业广域网量子安全迁移，提出供应商中立框架，分离暴露优先级、迁移就绪性与证据置信度，并设计TLS 1.3和IKEv2/IPsec混合密钥评估，实测p95延迟差异最高达5%。
2026-09-23 cs.CR cs.NI
Low-Power IoT Communication Security: On the Performance of DTLS and TLS 1.3
与互联网上的其他地方类似，物联网（IoT）中的实际安全性是通过组合一系列机制来实现的，这些机制在协议栈的所有层、系统软件和硬件中工作。通常建议使用数据报传输层安全（DTLS 1.2）和传输层安全（TLS 1.2）等标准协议来保护与物联网设备之间的通信。最近，TLS 1.3标准发布，DTLS 1.3正处于标准化的最后阶段。在本文中，我们概述了这些协议的1.3版本，并在基于低功耗微控制器的真实物联网设备上首次对这些协议的不同实现和各种配置进行了实验性比较性能分析。我们展示了不同的实现如何导致不同的妥协。我们测量和比较空中字节数、内存占用和能耗。我们表明，当DTLS/TLS 1.3比DTLS/TLS 1.2需要更多资源时，这种额外的开销是相当合理的。我们还观察到，在某些配置中，DTLS/TLS 1.3实际上减少了开销和资源消耗。总而言之，我们的研究表明，仍然有空间来优化这些协议的现有实现。
2020-12-10 cs.CR cs.NI
SoK: The Design Paradigm of Safe and Secure Defaults
本文通过系统映射和范围审查，系统化梳理了安全可靠默认设置设计范式自20世纪90年代末以来的发展、应用扩展及新增原则，并指出了实践中的问题。
2025-02-26 cs.CR cs.NI cs.SE
Analysis of the DoIP Protocol for Security Vulnerabilities
在ISO 13400中定义的DoIP是用于诊断数据的传输协议栈。诊断数据是车辆的潜在攻击媒介，因此必须保证安全传输以保护敏感数据和车辆。以前的工作分析了DoIP协议的草案版本和早期版本，没有传输层安全性（TLS）。DoIP协议没有正式的分析。这项工作的目标是调查的DoIP协议的设计缺陷，可能会导致安全漏洞和可能的攻击，利用他们。为此，我们演绎分析的DoIP协议的第一步，随后正式确认我们的结论。对于形式分析，我们使用证明器Tamarin。在此基础上，我们提出了提高DoIP安全性的对策，指出DoIP协议不能被认为是安全的，主要是因为DoIP协议中的TLS和客户端认证等安全机制不是强制性的。我们提出了一些措施来缓解我们确认激活TLS后仍然存在的漏洞。这些只需要对协议进行微小的重新设计。
2022-11-22 cs.CR cs.NI
FIPS Compliant Quantum Secure Communication using Quantum Permutation Pad
针对量子计算威胁，本文提出嵌套模式使TLS 1.3支持量子安全数据，符合FIPS标准，并用量子置换垫加密数据，性能损失小于10%。
2023-12-28 cs.CR quant-ph
Secure Coding Practices in Java: Challenges and Vulnerabilities
Java平台和第三方库提供了各种安全功能，以促进安全编码。然而，滥用这些功能可能会花费开发人员的大量时间和精力，或者导致软件中的安全漏洞。之前的研究主要集中在密码学和SSL API的滥用上，但没有探索关键的基础研究问题：安全编码实践中最大的挑战和漏洞是什么？在本文中，我们对StackOverflow帖子进行了全面的实证研究，以了解开发人员对Java安全编码的关注，他们的编程障碍以及代码中的潜在漏洞。我们观察到开发人员已经将他们的工作转移到使用Spring安全性提供的身份验证和授权功能上-Spring安全性是一个旨在保护企业应用程序的第三方框架。多种编程挑战与API或库有关，包括加密API的复杂跨语言数据处理，以及配置Spring安全性的复杂的基于Java或基于XML的方法。更有趣的是，我们在建议的接受答案代码中发现了安全漏洞。这些漏洞包括使用不安全的散列函数（如MD5），通过绕过证书验证破坏SSL/TLS安全性，以及不安全地禁用针对跨站点请求伪造（CSRF）攻击的默认保护。我们的研究结果揭示了安全编码援助和教育的不足，以及安全理论和编码实践之间的差距。
2017-09-28 cs.CR
Does "www." Mean Better Transport Layer Security?
经验表明，大多数研究人员和开发人员倾向于将普通域名（那些没有前缀为“www”的子域，例如“example.com“）视为其等效www域名（那些前缀为“www”的子域，例如“www.example.com“）的同义词。在本文中，我们分析了近200万个普通域的数据集，并与其等效的www域进行了比较，以回答以下问题：普通域和其等效的www域在TLS安全配置和证书方面是否存在差异？如果是，程度如何？我们的研究结果提供了一个有趣的现象的证据：普通域和它们的等价www域在TLS安全配置和证书方面存在差异。此外，www域名往往比其等效的普通域名具有更强的安全配置。有趣的是，这种现象在访问量最大的域中比在随机选择的域中更普遍。对顶级域数据集的进一步分析表明，53.35%的普通域显示了一个或多个在其等效www域中未显示的弱点指标（例如过期证书），这些普通域执行从HTTPS普通域到其等效HTTPS www域的HTTPS重定向。此外，这些重定向中有24.71%包含纯文本HTTP中间URL。在这些情况下，用户看到的是具有强TLS配置和证书的最终www域，但实际上，HTTPS请求已经通过了具有较不安全的TLS配置和证书的普通域。显然，这样的设置在整个交互的安全性中引入了一个薄弱环节。
2019-06-18 cs.CR
ss2DNS: A Secure DNS Scheme in Stage 2
提出ss2DNS方案，利用分层信任模型和短期委派副本，在保持单次往返效率的同时缓解DNS解析过程的安全与隐私漏洞，无需复制长期私钥，性能优于DNS-over-TLS。
2025-06-26 cs.CR
Securing the Web with HSTS-Enforced
Delft University of Technology（代尔夫特理工大学）
提出HSTS-Enforced机制，通过将安全模型从选择加入改为选择退出，默认使用HTTPS，并允许网站通过HTTP-Required指示器选择退出，从而消除TLS剥离攻击面，同时保持对需要HTTP的网站的兼容性。
2026-05-06 cs.CR cs.NI
A Comprehensive Framework for Building Highly Secure, Network-Connected Devices: Chip to App
本文提出一个从硬件到应用层的综合安全框架，涵盖密钥管理、固件验证、TLS 1.3通信及后量子密码，为制造商提供构建安全连接设备的指导。
2025-01-23 cs.CR cs.NI
Threat Modeling for Enhancing Security of IoT Audio Classification Devices under a Secure Protocols Framework
Instituto Tecnologico de Informatica（信息技术研究所）
针对资源受限的物联网音频分类设备的敏感数据泄露风险，本文提出融合TPM远程证明、后量子加密等机制的纵深防御安全协议框架，通过STRIDE威胁建模指导设计并给出评估方案。
2025-11-14 cs.AI cs.CR
FreeGuard: A Faster Secure Heap Allocator
尽管多年来软件安全性有所改善，但与堆相关的攻击仍然是一个严重的威胁。一个原因是许多现有的内存分配器在许多方面都有不足。例如，面向性能的分配器被设计为具有非常有限的针对攻击的对策，但是安全分配器通常遭受显著的性能开销，例如，运行速度慢10倍。因此，本文介绍了FreeGuard，一个安全的内存分配器，防止或减少了广泛的堆相关的攻击，如堆溢出，堆过度读取，使用后释放，以及双重和无效的自由。FreeGuard与默认的Linux分配器具有相似的性能，平均开销不到2%，但在安全性保证方面提供了显着的改进。FreeGuard还解决了现有安全分配器的多个实现问题，例如可扩展性问题。实验结果表明，FreeGuard是非常有效的防御各种堆相关的攻击。
2017-09-25 cs.CR cs.OS
DTLS Performance - How Expensive is Security?
安全通信是许多互联网服务的一个组成部分。广泛部署的TLS保护可靠的传输协议。DTLS将TLS安全服务扩展到依赖普通UDP数据包传输的协议，例如VoIP或IoT应用程序。在本文中，我们构建了一个模型，以确定通用的DTLS启用应用程序的性能。我们的模型考虑了基本的网络特征，例如，连接的数量和所选择的安全参数，例如，使用的加密算法。测量表明我们的模型的适用性。这些实验是使用一个高性能的DTLS功能的VPN网关上建立的成熟的库DPDK和OpenSSL。此VPN解决方案代表了DTLS的最基本部分，创建了DTLS性能基准。使用此基线，该模型可以扩展到预测更复杂的DTLS协议，除了测量的VPN。本文中使用的代码和测量数据可在https://git.io/MoonSec和https://git.io/Sdata上公开获得。
2019-04-25 cs.CR cs.NI cs.PF
Secure Execution of Distributed Session Programs
SJ框架的发展，基于会话的分布式编程是最近和正在进行的研究的一部分，集成会话类型和实用的，现实世界的程序设计语言。SJ编译器会静态地检查SJ程序的会话类型（协议），以验证通信安全的关键属性，这意味着参与会话的各方只传递与接收方预期的消息类型兼容的消息，包括通过会话委托进行的高阶通信。本文介绍了目前的工作安全方面的SJ框架。首先，我们讨论了我们的实施经验，从改善SJ的安全措施，以保护和增强在运行时的通信安全的平台。我们实现了一个用于安全会话执行的传输组件，该组件使用修改后的TLS连接，并基于安全远程密码（SRP）协议进行身份验证。关键的技术点是对安全会话委托的微妙处理，以应对以前的漏洞。我们发现，SJ的模块化设计，会话通信的抽象传输的概念的基础上，支持快速扩展，利用额外的交通工具，同时分离这种关注的应用程序级会话编程任务。在这个抽象的第二部分中，我们正式证明了目标的安全属性的扩展SJ委托协议的π演算建模。
2011-10-19 cs.CR cs.DC cs.NI
IoT based Smart Access Controlled Secure Smart City Architecture Using Blockchain
University of Calcutta（加尔各答大学）；University of California（加利福尼亚大学）
SSL、TLS、IPSec等标准安全协议具有较高的内存和处理器消耗，这使得所有这些安全协议都不适合物联网（IoT）等资源受限平台。区块链（BC）在物联网平台中找到了有效的应用，以保护五个基本的加密原语，如机密性，真实性，完整性，可用性和不可否认性。在IoT平台中传统地采用BC会导致高能耗、延迟和计算开销，这不适合于各种资源受限的IoT设备。这项工作提出了一个基于机器学习（ML）的智能访问控制框架，在公共和私人BC的智能城市应用，使其更有效的相比，现有的物联网应用。拟议的基于物联网的智慧城市架构采用BC技术来保护所有加密安全和隐私问题。此外，BC在IoT平台上的开销也非常小。本文研究了现有的威胁模型和关键的访问控制问题，这些问题处理各个节点的多个权限，并检测相关的不一致性以通知相应的节点。与现有文献中的所有安全问题的比较表明，所提出的架构是有竞争力的高效的安全访问控制。
2019-09-09 cs.CR cs.LG cs.NI
Passwords Are Meant to Be Secret: A Practical Secure Password Entry Channel for Web Browsers
本文提出一种由密码管理器自动填充假密码、再由浏览器在请求发送前替换为真密码的安全输入方案，有效阻止恶意脚本和扩展窃取凭证，且无需用户改变行为。
2024-02-09 cs.CR
Challenges of Securing Massively Multiplayer Online Games
本文探讨MMO游戏因架构特性面临的安全挑战，提出现代安全方法，并分析真实漏洞案例及缓解措施。
2023-11-14 cs.CR cs.HC
Industry Perception of Security Challenges with Identity Access Management Solutions
本研究通过访谈全球45名网络安全专业人员，梳理云与本地部署IAM方案各自的安全挑战，发现超四成受访者认为本地方案更安全，为IAM方案的落地优化提供行业认知参考。
2024-08-20 cs.CR
If it's Provably Secure, It Probably Isn't: Why Learning from Proof Failure is Hard
本文探讨安全证明的失败模式，指出证明可能不相关、晦涩、误导甚至错误，并从数学哲学、物理哲学及社会学视角分析，强调保证模型的社会性导致错误管理不善。
2023-05-08 cs.CR
Minimal Prompt Perturbations Lead to Code Vulnerabilities: Prompt Fragility and Hidden-State Signals in Coding LLMs
IEM, HES-SO, Le Foyer, Techno-Pôle 1, Sierre, Switzerland（瑞士苏黎世联邦理工学院（HES-SO）技术园区1号，西尔尔）；Cyber-Defence Campus, armasuisse Science and Technology, Thun, Switzerland（瑞士图恩 Cyber-Defence 营地，armasuisse 科学与技术）
本文通过token级突变实验，发现微小提示扰动（如单字符变化）即可使LLM生成代码从安全变为脆弱，并利用隐藏状态分析揭示输入处理漏洞比安全默认值漏洞更可预测。
2026-05-28 cs.CL cs.CR cs.SE
Quantum-Safe Web Service Architecture Using Time-Based One-Time Passwords
Chunghwa Telecom Laboratories（中华电信实验室）
本研究开发了一种量子安全Web服务架构，采用基于后量子密码学的TLS与HTTPS保障传输安全，通过HMAC驱动的TOTP保障服务安全，并实验对比了四种哈希算法的性能以支撑部署。
2026-08-19 cs.CR cs.NI cs.PF
The Illusion of Secure LLM Code: Closing the Security Gap via Iterative Reprompting
Thapar Institute of Engineering and Technology（塔帕尔工程技术学院）；University of Waterloo（滑铁卢大学）
研究大语言模型集成到软件开发中自主生成安全认证代码的能力，通过双模式评估框架结合四种提示策略评估五个AI编码助手，发现当前助手不能默认生成安全应用，企业部署需转向持续、标准驱动的验证管道。
2026-07-28 cs.AI cs.CR cs.HC
A Security Protocol for the Identification and Data Encrypt Key Management of Secure Mobile Devices
本文提出了一种身份识别和数据加密密钥管理协议，该协议可用于基于安全USB存储器或RFID等安全设备的安全系统中，这些设备目前被广泛用于身份识别或其他物体的识别。通常，使用移动终端的安全系统的默认功能是对设备的所有者的认证和对存储在设备上的数据的安全存储。为了实现这些安全功能，我们提出了一个由服务器和移动设备组成的安全模型。在该模型中，我们定义了安全通信协议，用于在服务器和移动设备之间使用公钥和私钥加密算法对数据加密密钥进行认证和管理。另外，对攻击移动终端与服务器之间的通信协议进行了分析。使用通信协议，系统将尝试认证移动终端。只有在认证过程成功时才发送数据解密密钥。移动终端中的数据可以使用该密钥解密。分析表明，该协议保证了匿名性，防止了重放攻击，实现了安全设备与认证服务器之间的交互式身份认证。
2013-07-02 cs.CR cs.IT math.IT
SecPI: Secure Code Generation with Reasoning Models via Security Reasoning Internalization
University of California, Berkeley（加州大学伯克利分校）；ETH Zurich（苏黎世联邦理工学院）
SecPI通过内化结构化安全推理，使推理模型在无需安全指令的情况下生成安全代码，经验证在多个安全基准测试中显著提升代码功能正确性和安全性。
2026-04-04 cs.AI cs.CR
Biting the CHERI bullet: Blockers, Enablers and Security Implications of CHERI in Defence
本研究通过12个月、15个团队对CHERI在国防软件移植的评估，识别出六类采用障碍、三类推动因素及五类潜在安全漏洞，并提出改进建议。
2025-04-24 cs.AR cs.CR cs.OS
HTML5 Zero Configuration Covert Channels: Security Risks and Challenges
近几个月来，安全的无云文件传输系统的普及和公众意识有所增加。这些服务的目的是促进在互联网上以点对点（P2P）方式安全传输文件，而无需集中认证或存储。这些服务可以采用客户端安装的应用程序或完全基于Web浏览器的界面的形式。由于它们的P2P性质，通常对所涉及的文件大小或传输的数据量没有限制-如果确实存在这些限制，则它们将完全依赖于传输两端的系统容量。默认情况下，这些服务中的许多服务为其用户提供无缝的端对端加密。利用这些服务进行犯罪活动的可能性会对网络安全和网络取证造成严重后果。通过互联网轻松传输加密数据的能力为网络犯罪分子提供了一系列非法使用的机会，这些犯罪分子只需要最少的技术知识。本文探讨了其中一些服务，并分析了它们对企业和政府安全构成的风险。讨论了对这种转让进行法医调查的一些方法。
2015-10-02 cs.CR cs.CY cs.NI
SoK: Understanding (New) Security Issues Across AI4Code Use Cases
University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校）
本文通过调查AI4Code在三个核心应用中的安全问题，指出基准测试偏见、数据泄露和对抗鲁棒性不足等挑战，并提出安全默认实践、全面检测基准和翻译增强语言等改进方向。
2025-12-20 cs.AI cs.CR
