Merkle Tree Certificate Post-Quantum PKI for Kubernetes and Cloud-Native 5G/B5G Core
coRAN Labs Private Limited（coRAN实验室私人有限公司）；Ramanujan College, University of Delhi（德里大学拉马努金学院）
本文提出基于Merkle Tree Certificate的后量子PKI架构，用于Kubernetes和5G核心网络，通过Merkle证明替代传统签名，减少通信开销，提升安全性。
2026-04-05 cs.CR
Shaping a Quantum-Resistant Future: Strategies for Post-Quantum PKI
Politecnico di Torino（都灵理工大学）
本文提出后量子PKI转型策略，探讨量子抗性算法在证书格式和撤销列表中的应用，以构建安全的公钥基础设施。
2026-01-16 cs.CR
How to Measure TLS, X.509 Certificates, and Web PKI: A Tutorial and Brief Survey
本文针对TLS、X.509证书与Web PKI的测量提供指导，介绍相关数据源、工具与测量步骤，分析过往研究结果差异的成因，梳理常见陷阱并提出测量描述框架，辅以数据驱动的测量支撑观点。
2024-01-31 cs.CR cs.NI
Decentralized PKI Framework for Data Integrity in Spatial Crowdsourcing Drone Services
本文提出基于区块链的去中心化 PKI 框架 D2XChain，通过消除 CA 单点故障并兼容 X.509 标准，增强无人机物联网通信安全，并在以太坊测试平台上验证了其有效性。
2024-07-01 cs.CR
DTKI: a new formalized PKI with no trusted parties
基于Web的应用程序的公钥验证协议的安全性最近引起了人们的关注，因为在证书权威模型的弱点，以及随之而来的攻击。最近使用公共日志的提议成功地使证书管理更加透明和可核查。然而，这些建议涉及一套固定的权力机构。这就形成了寡头垄断。当前基于日志的系统的另一个问题是它们严重依赖于监视日志的可信方。我们提出了一个分布式的透明的密钥基础设施（DTKI），这大大减少了服务提供商的寡头垄断，并允许验证的可信方的行为。此外，本文形式化了公共日志数据结构，并对DTKI保证的安全性进行了形式化分析。
2017-03-16 cs.CR
Do CAA, CT, and DANE Interlink in Certificate Deployments? A Web PKI Measurement Study
本文通过对 400 万个热门域名的测量，研究 CAA、TLSA 和 CT 日志在证书部署中的关联性，发现 CAA 与 DNSSEC 部署相互割裂、CAA 语义约束常被突破，且 TLSA 记录维护质量较差。
2024-07-02 cs.CR cs.NI
Now Let's Make It Physical: Enabling Physically Trusted Certificate Issuance for Keyless Security in CAs
针对CA密钥易因人为失误泄露的难题，提出基于PUF的Armored Core方案，实现无密钥证书颁发，搭配PUF透明度监控机制，集成到真实系统后性能提升且开销极低。
2025-01-13 cs.CR
Efficient ML-DSA Public Key Management Method with Identity for PKI and Its Application
Pengcheng Laboratory（鹏城实验室）；Nanjing Xunshi Data Technology Co., Ltd（南京寻石数据科技有限公司）；University of Science and Technology of China（中国科学技术大学）；Hefei National Laboratory（合肥国家实验室）；Hong Kong Polytechnic University（香港理工大学）
本文提出基于后量子密码学的新型身份基于PKI公共密钥管理框架IPK-pq，通过改进的身份映射机制解决CPK线性 collusion问题，提升大规模证书存储和验证效率。
2026-07-08 cs.CR
Blockchain-based PKI within a Corporate Organization: Advantages and Challenges
本文研究企业内基于区块链的PKI，比较其与传统PKI的优劣，并分析CRA和NIS-2等法律框架影响，表明区块链PKI可通过去中心化信任锚、不可篡改的证书管理及更强的不当行为识别机制提升安全性。
2024-07-05 cs.CR cs.SE
Post-Quantum Identity-Based TLS for 5G Service-Based Architecture and Cloud-Native Infrastructure
Ramanujan College, University of Delhi（德里大学拉马努金学院）；coRAN Labs Private Limited（coRAN实验室有限公司）
本文提出基于后量子身份基于加密的证书自由认证框架，用于在5G服务化架构和云原生基础设施中实现安全的TLS连接，替代传统证书和签名验证方法。
2026-02-04 cs.CR
A Decentralized Dynamic PKI based on Blockchain
在传统的公钥基础设施（PKI）中，证书颁发机构（CA）扮演着核心角色，这使得它非常脆弱，容易受到攻击和操作失败。维护CA和撤销列表的要求很高，特别是在松散连接的大型系统中。基于日志的公钥基础设施已被提议作为一种补救措施，但它们并不能有效地解决问题。我们基于区块链和信任网络模型为去中心化和动态PKI提供了一个通用模型和解决方案，其中传统的CA和数字证书被删除，所有内容都在区块链上注册。公钥的注册、撤销和更新是基于已经是系统一部分的一定数量的实体之间的共识机制。系统中的任何节点都可以是审计员，一旦发现恶意活动，就可以启动撤销程序。撤销列表不再需要，因为任何节点都可以通过见证人有效地验证公钥。
2020-12-30 cs.CR cs.DC
Matrix powers algorithms for trust evaluation in PKI architectures
本文研究公钥基础设施中的信任评估问题。已经提出了不同的信任模型来互连各种PKI组件，以便在它们之间传播信任。在本文中，我们提供了一个新的多项式算法，使用线性代数来评估网络中的信任关系，使用不同的信任评估方案。优点有两方面：首先，使用矩阵计算而不是图形算法提供了优化的计算解决方案;其次，我们的算法可以用于一般的图形，即使在存在循环的情况下。我们的算法的目的是评估使用所有现有的（有限）实体之间的信任路径作为一个初步的PKI之间的任何交流的信任。这可以提供精确的信任评估，并加速例如交叉证书验证。
2012-07-27 cs.CR
An Enhanced Online Certificate Status Protocol for Public Key Infrastructure with Smart Grid and Energy Storage System
针对PKI证书状态检查效率及通信安全问题，本研究在智能电网环境中引入OCSP Stapling方法，减少DLMS服务器对OCSP服务器的查询次数，实验证明该方法可提升效率与安全性，为智能电网构建更稳健架构。
2024-12-02 cs.CR
Evaluating Certificate Policy - Certification Practice Statement of Unique Government Certification Authority using Public Key Infrastructure Assessment Guidelines: Research in Progress
OSD PSE是印度尼西亚政府认证机构（CA），用于国家电子采购系统，后来被命名为OSD PSE G2。它在OSD Lemsaneg下具有独特的层次结构。OSD PSE G2作为颁发CA，发布并保证证书政策和认证实践声明（CP-CPS）的质量，以获得PKI用户的信任。本文分析了OSD PSE G2发布的CP-CPS 1.0版本。为此，我们采用PKI评估指南（PAG）的方法。本CP-CPS的质量评估，包括其对相关参考/标准的符合性，即：CP OSD Lemsaneg v.1.1; RFC 3647;以及CA关于信任服务原则和认证机构标准的商业惯例披露原则（BPDP-TSPCCA）版本2.0。我们最终发现CP-CPS 1.0版不符合相关标准和参考。因此，CP-CPS需要根据OSD PSE G2的当前条件进行更新。
2018-09-14 cs.CR
Node Authentication Using BLS Signature in Distributed PKI Based MANETS
移动自组织网络中的节点认证是一项具有挑战性的任务，由于其动态和资源约束的基础设施。为此，MANETS采用了公钥密码学和基于身份的密码学两种方法。在公钥基础设施（PKI）中，证书颁发机构（CA）负责密钥管理。为了适应移动自组网，CA的工作必须是分布式的。MANET节点之间共享主秘密密钥，实现无中心的自组织网络，密钥共享基于二元多项式的Shamir秘密共享方案，实现节点的完全自管理。我们考虑了基于PKI的场景，并提出了一个新的方案来认证一个节点使用BLS签名，这是重量轻，与现有的方案相比，从而使其适用对于MANET。
2017-08-29 cs.CR
The Case for Dynamic Key Distribution for PKI-Based VANETs
车载自组织网络（VANESTs）正在成为一个现实，安全的通信是一个先决条件。公钥基础设施（PKI）可用于保护VANETM，其中板载防篡改设备（TPD）存储多个加密密钥，这些密钥在访问证书颁发机构（CA）时被更新。我们以前提出了一个动态密钥分配协议的PKI为基础的VANESTRUCTURE [1]，以减少TPD的作用。车辆从其最近的路边单元动态地请求钥匙。此请求通过网络基础设施传播到CA云，并安全地返回密钥。提出的密钥撤销机制通过证书撤销列表（CRL）分发减少了撤销所需的消息数量。在本文中，性能评估和安全性的建议动态密钥分配进行了研究，分析和通过网络模拟。此外，进行了广泛的分析，以证明如何提出的协议可以动态地支持高效和成本降低的密钥分配。分析和性能评估的结果清楚地表明，基于PKI的VANETS的动态密钥分配的情况下。
2016-05-16 cs.CR cs.NI
Autonomous collision attack on OCSP services
在线证书状态协议（OCSP）是PKI环境中广泛使用的一种实时的管理数字证书可信性的协议，本文描述了该协议的两个重要设计缺陷。这些缺陷会显著降低协议的安全性，并可能被恶意第三方利用来生成伪造的签名证书状态，在最坏的情况下，还可能生成伪造的证书。缺陷的描述，以及预期的开发路线，消费应用层协议的后果，并提出了对策，给出。
2016-09-10 cs.CR
Security of Alerting Authorities in the WWW: Measuring Namespaces, DNSSEC, and Web PKI
在灾难、危机和紧急情况下，公众依靠官方提供的在线服务来接收及时的警报、可靠的信息和获得救援计划。因此，当局在使用其在线服务时降低风险至关重要。这包括满足服务的安全标识、网络服务名称的安全解析以及内容安全和隐私作为可信通信的最低基础。在本文中，我们首先看一下美国的警报机构（AA），并调查与可信和安全通信相关的安全措施。我们研究域名空间结构，DNSSEC渗透和Web证书。我们引入了一个综合的威胁模型，以更好地了解是否以及如何AAs的在线存在和服务受到损害。作为一个说明性的例子，我们调查了1,388个警报机构。我们观察到，相对于全球互联网趋势，安全性有所提高，但仍有78%的服务提供商未能部署值得信赖的服务提供措施。我们的分析显示了两个主要缺点。首先，如何利用DNS生态系统：大约50%的组织没有自己的专用域名，并依赖于其他组织，55%的组织选择不受限制使用的命名空间，这简化了网络钓鱼，只有不到4%的唯一AA域名由DNSSEC保护，这可能导致DNS中毒，并可能导致证书错误。其次，Web PKI证书的使用方式：15%的主机没有提供证书或提供无效证书，因此无法满足机密性和数据完整性，64%的主机提供缺乏任何身份信息的域验证证书，共享证书越来越受欢迎，这导致命运共享，可能是不稳定的原因。
2021-04-13 cs.CR cs.NI
Battlefield 5G: Dual-PKI and TPM-Based UE Attestation for Tactical 5G Standalone Networks
George Mason University（乔治梅森大学）；Idaho National Laboratory（爱达荷国家实验室）
本文针对战术5G组网的设备认证缺陷，提出Battlefield 5G预认证框架，结合双X.509证书检查与TPM启动认证，可阻断多种攻击，仅增加少量接入延迟开销。
2026-08-13 cs.CR
A Public Key Infrastructure for 5G Service-Based Architecture
针对3GPP未明确的5G SBA公钥基础设施问题，提出支持多PLMN、多CA的5G-SBA-PKI，并用TAMARIN验证安全性及评估前量子和抗量子算法性能。
2023-09-26 cs.CR
The Boon and Bane of Cross-Signing: Shedding Light on a Common Practice in Public Key Infrastructures
公钥体系结构（PKI）及其受信任的证书颁发机构（CA）为Internet提供了信任基础：CA签署证明服务器、应用程序或用户身份的证书。为了得到操作系统和浏览器的信任，CA必须经历漫长而昂贵的验证过程。或者，受信任的CA可以交叉签名其他CA，以扩展对它们的信任。本文系统地分析了Web PKI中交叉签名的现状和发展趋势。我们的数据集（来自被动TLS监视器和公共CT日志）包含超过7年的2.25亿个证书和93亿个信任路径。我们展示了交叉签名的好处和风险。我们讨论了撤销可信CA证书的困难，令人担忧的是，交叉签名可能导致有效的信任路径在撤销后仍然存在;对于非浏览器软件来说，这是一个经常盲目信任所有CA证书并忽略验证的问题。然而，交叉签名还使得能够快速引导新CA，例如，Let's Encrypt，并通过提供向后兼容性实现无中断的用户体验。在本文中，我们提出了交叉签名的新规则和指导，以保持其积极的潜力，同时降低其风险。
2020-09-18 cs.CR
V'CER: Efficient Certificate Validation in Constrained Networks
我们解决了在约束网络中有效建立信任的挑战性问题，即，由大量动态的（可能是异构的）设备组成的网络，这些设备具有有限的带宽、连接性、存储和计算能力。约束网络是许多新兴应用领域的组成部分，从物联网网格到卫星网络。一个特别困难的挑战是如何及时撤销受损或故障设备。不幸的是，目前的解决方案和技术不能应付约束网络的特质，因为它们要求与集中式实体进行频繁的实时通信，存储和维护大量的撤销信息，并产生相当大的带宽开销。为了解决现有解决方案的缺点，我们设计了V'CER，一个安全和有效的证书验证方案，增强和受益于受限网络的PKI。V'CER利用稀疏Merkle树（SMT）的独特功能来执行轻量级撤销检查，同时在设备之间实现协作操作，以便在与外部机构的连接受限时保持最新状态。V'CER可以补充任何PKI方案，以增加其灵活性和适用性，同时确保独立于网络路由或拓扑结构的验证信息的快速传播。V'CER要求每个节点存储不到3KB，覆盖106个证书。我们在在轨卫星上开发并部署了V'CER原型，我们的大规模模拟表明，当节点间歇性连接时，V'CER将外部机构的更新请求数量减少了93%以上。
2022-05-04 cs.CR
A Secure and Authenticated Key Management Protocol (SA-KMP) for Vehicular Networks
公钥基础设施（PKI）是用于保护网络通信的最广泛使用的安全机制。然而，存在已知的性能问题，使其不适合在车载网络中使用。针对PKI的不足，提出了一种安全的可认证密钥管理协议（SA-KMP）。SA-KMP方案将包含实体的身份及其对应的公钥的绑定的存储库分发到每个车辆和路边单元。通过这样做，消除了证书交换和证书撤销列表。此外，SA-KMP方案使用基于基于3-D矩阵的密钥协商方案导出的对称密钥，以减少使用非对称密码术的高计算成本。我们证明了效率的SA-KMP通过性能评估方面的传输和存储开销，网络延迟，和密钥生成时间。分析结果表明，SA-KMP具有更好的可扩展性，性能优于基于证书的PKI。仿真结果表明，SA-KMP方案的密钥生成时间小于现有的椭圆曲线Diffie-Hellman和Diffie-Hellman协议。此外，我们使用Proverif证明了SA-KMP方案是安全的，对主动攻击者的Dolev和姚模型下，并进一步表明，SA-KMP方案是安全的拒绝服务，共谋攻击，和广泛的其他恶意攻击。
2017-12-28 cs.CR
On the security of the Blockchain Bix Protocol and Certificates
BIX协议是一种基于区块链的协议，允许分发将主体与其公钥链接的证书，因此提供类似于PKI的服务，但不需要CA。在本文中，我们分析了BIX协议的安全性在一个正式的方式，在四个步骤。首先，我们确定正式的安全性假设是非常适合这个协议。其次，我们提出了一些针对BIX协议的攻击场景。第三，我们提供了一个正式的安全证明，其中一些攻击是不可行的，根据我们以前建立的假设。最后，我们将展示如何进行另一次攻击。
2016-07-28 cs.CR
Analysis And Improvement of Pairing-Free Certificate-Less Two-Party Authenticated Key Agreement Protocol For Grid Computing
主要的网格身份验证机制使用公钥基础设施（PKI）。尽管如此，无证书公钥密码学（CL-PKC）有几个优点，似乎很好地符合网格计算的需求。安全性和效率是网格认证协议的主要目标。不幸的是，无证书认证密钥协商协议依赖于双线性对，这是非常昂贵的计算。本文分析了近年来安全的无证书密钥协商协议。然后，我们提出了一种新的网格配对的无证书的两方认证密钥协商（GPC-AKA）协议，提供了一个更轻量级的网格用户的密钥管理方法。我们还显示，GPC-AKA安全协议证明使用正式的自动安全分析Sycther工具。
2014-03-12 cs.CR
Hybrid Online Certificate Status Protocol with Certificate Revocation List for Smart Grid Public Key Infrastructure
针对智能电网PKI中数万终端电表导致单一OCSP服务器查询负载过高的问题，提出结合CRL的混合OCSP机制，仿真证明其提升了查询效率与架构健壮性。
2024-12-02 cs.CR
zk-X509: Privacy-Preserving On-Chain Identity from Legacy PKI via Zero-Knowledge Proofs
Tokamak Network
本文提出zk-X509，利用RISC-V零知识虚拟机将传统PKI与公共账本结合，实现无需暴露私钥的链上身份认证，通过操作系统密钥链签名委托验证证书有效性及防Sybil攻击。
2026-03-31 cs.CR cs.CY cs.DC
Security analysis of two lightweight certificateless signature schemes
无证书密码学可以被认为是克服传统公钥基础设施（PKI）和基于身份的公钥密码学（ID-PKC）中存在的问题的中间解决方案。在文献中存在大量的无证书签名（CLS）方案;然而，它们中的大多数都不足以有效地用于诸如物联网（IoT）或医疗无线传感器网络（HWSN）等资源有限的环境。最近，Karati等人和Kumar等人提出了两种轻量级CLS方案，分别用于物联网和HWSN。虽然这两个方案都声称是存在不可伪造的，在本文中，我们表明，这两个签名可以很容易地伪造。更具体地说，它表明，1）在Karati等人。的计划，类型1对手，认为在无证书密码学，可以产生一个有效的部分私钥对应于任何用户的选择，因此，它可以伪造任何用户的签名，其选择的任何消息，和2）在Kumar等人。的方案，这两种类型的对手被认为是在无证书密码学能够伪造任何签名者的签名上的任意消息。
2019-09-24 cs.CR
Securing Cloud - The Quantum Way
机密性、完整性和可用性是安全体系结构的基本目标。为了保证CIA的安全性，近年来出现了许多认证方案。公钥基础设施（PKI）的部署是目前最重要的解决方案。PKI涉及通过公共通道使用证书交换密钥，以在云基础设施中验证用户。量子密码学是现代信息安全领域中最重要的研究方向之一。量子密码学被认为是经典密码学的未来翻版，同时也是突破现有经典密码学的重要手段。本文旨在探讨目前的基本安全架构，并进一步尝试引入一个新的建议的安全架构的云计算环境，利用量子力学的知识和当前的研究进展，在量子计算，以提供一个更安全的架构。
2015-12-07 cs.CR
A Survey of Distributed Certificate Authorities in MANETs
证书颁发机构（CA）为用于Internet和有线网络的公钥基础设施（PKI）提供关键的认证和安全服务。在移动自组织网络（无线和自组织）中，无法提供集中式CA来提供这些安全服务。最近的研究已经着眼于通过在无线和ad hoc网络中使用分布式证书颁发机构（DCA）来促进在MANN中使用CA。本文介绍了一些不同类型的DCA协议，并根据它们的因素和规格将它们分类。本文最后提出了最好的DCA安全服务的性能和安全级别。
2018-07-01 cs.CR cs.NI
Toward Space-Based Public Key Systems: Enabling Secure Space Communications through In-Orbit Trust Services
King Abdullah University of Science and Technology（阿卜杜拉国王科技大学）；LASIGE, Faculdade de Ciências, Universidade de Lisboa（里斯本大学理学院LASIGE）
本文提出基于空间的公钥基础设施架构，通过在轨验证机构实现证书管理，减少对地面依赖，提升多运营商环境下的可扩展性、可用性和安全性。
2026-05-07 cs.CR cs.ET
An Efficient TLS 1.3 Handshake Protocol with VC Certificate Type
本研究设计实现了兼容RFC-8446、保留TLS 1.3安全特性且支持VC的握手协议，仅用TLS 1.3已有消息，对OpenSSL改动极小，性能对标传统PKI方案，为IoT中自主主权身份落地、降低身份管理成本铺路。
2025-05-21 cs.CR
Support for public-key infrastructures in DNS
传统上，对公钥分发问题的通常反应是公开可用的证书储存库。在签发公钥证书之后，验证局-在特定的公钥基础设施的框架内-将在一个储存库中储存和公布该证书，以便最终用户稍后能够搜索、查找和检索公钥证书。这种方法的一个已知的和仍然存在的缺点是，这些存储库在互联网规模上彼此之间没有互连，因此在更大规模上搜索和检索证书变得非常困难。在这种情况下，最终用户在实际开始搜索和检索程序之前应该知道储存库的因特网位置。目前，没有任何手段可以使用识别因特网实体的某些信息作为搜索关键字来自动发现特定证书的权威储存库。在本文中，我们试图描述一种不同的方法来解决密钥分配问题。该解决方案考虑到了现有的互联网基础设施：域名系统（DNS）。
2019-10-18 cs.CR
SoK: Delegation and Revocation, the Missing Links in the Web's Chain of Trust
快速撤销受损密钥的能力对于任何公钥基础设施的安全性都至关重要。令人遗憾的是，大多数传统的证书撤销方案遭受延迟，可用性或隐私问题。TLS中缺乏本地委托机制加剧了这些问题，这导致域名所有者越来越多地参与危险的做法，例如与第三方共享私钥。我们分析了解决Web PKI长期存在的委托和撤销缺陷的解决方案，重点关注直接影响信任链的方法（即，X.509认证路径）。为此，我们提出了一个19个标准的框架来描述撤销和授权方案。我们还表明，短期委托凭证或代理证书与适当的撤销系统相结合，将解决几个紧迫的问题。
2020-04-20 cs.CR
From Public-Key Linting to Operational Post-Quantum X.509 Assurance for ML-KEM and ML-DSA: Registry-Driven Policy, Mutation-Based Evaluation, and Import Validation
Universitat Oberta de Catalunya（加泰罗尼亚开放大学）
本文提出了一种操作性的后量子 X.509 保证框架，用于 ML-KEM 和 ML-DSA，在狭义可执行配置文件 pkix-core 中，通过注册驱动政策、突变基于评估和导入验证来确保证书配置文件语义、SubjectPublicKeyInfo 表示和私钥容器导入的正确性。
2026-05-19 cs.CR
How to design a Public Key Infrastructure for a Central Bank Digital Currency
本文针对央行数字货币生态系统的信任需求，提出了设计公钥基础设施的标准、证书层级结构和轮换机制，并考虑了离线硬件钱包流通等特殊场景。
2025-05-25 cs.CR cs.NI
CATFL: Certificateless Authentication-based Trustworthy Federated Learning for 6G Semantic Communications
Shanghai Jiao Tong University（上海交通大学）；Hangzhou Normal University（杭州师范大学）；Shanghai Normal University（上海师范大学）
联邦学习（FL）提供了一种用于协作训练语义通信系统的语义编码器/解码器模型的新兴方法，而无需私有用户数据离开设备。现有可信FL的研究大多以消除恶意客户端产生的数据投毒威胁为目标，但在很多情况下，消除伪服务器带来的模型投毒攻击也是一个重要目标。本文提出了一种基于无证书认证的可信联邦学习（CATFL）框架，实现了客户端和服务器端的身份相互认证。在CATFL中，每个客户端在接受交付的全局模型之前验证服务器的签名信息，以确保全局模型不是由虚假服务器交付的。相反，服务器还在接受所传递的模型更新之前验证服务器的签名信息，以确保它们是由授权的客户端提交的。与基于PKI的方法相比，CATFL可以避免过高的证书管理开销。同时，客户端的匿名性屏蔽了数据投毒攻击，而实名注册则可能遭遇用户特定隐私泄露风险。因此，在CATFL中还提出了一个假名生成策略，以实现身份可追溯性和用户匿名性之间的权衡，这是必要的，有条件地防止特定于用户的隐私泄漏。理论安全性分析和评估结果验证了CATFL的优越性。
2023-02-01 cs.CR cs.LG cs.NI
Mutual Heterogeneous Signcryption Schemes for 5G Network Slicings
随着移动通信技术的兴起，我们正在进入第五代移动通信系统（5G）时代。5G时代将出现各种应用场景，以满足不同的业务需求。不同的5G网络切片可以部署不同的公钥密码系统。异构系统之间的安全问题也需要考虑。为了保证5G网络切片之间的安全通信，在不同的公钥密码体制下，提出了两种异构签密方案，实现了公钥基础设施（PKI）和无证书公钥密码学（CLC）环境之间的双向通信。证明了在随机预言机模型下，我们的方案在计算Diffie-Hellman问题（CDHP）下对自适应选择密文攻击（IND-CCA 2）具有不可区分性，在离散对数问题（DLP）下对自适应选择消息攻击（EUF-CMA）具有潜在不可伪造性.我们还在Raspberry Pi上建立了两个异构密码系统来模拟不同公钥环境之间的进程间通信。此外，我们量化和分析每个方案的性能。与已有的方案相比，我们的方案具有更高的效率和安全性。
2018-11-09 cs.CR
Vehicle Authentication via Monolithically Certified Public Key and Attributes
车辆网络用于通过使用无线收发器（发射器和接收器对）来协调交通中的车辆之间的动作。不幸的是，车辆之间的无线通信容易受到安全威胁，这可能导致非常严重的安全隐患。在这项工作中，我们提出了一个可行的解决方案，以应付人在中间攻击。传统上，公钥基础设施（PKI）用于与预认证的公钥的安全通信。然而，安全的车辆到车辆通信需要额外的验证手段，以避免冒充攻击。据我们所知，这是第一个工作，提出了认证的公钥和带外感知的静态属性，使相互认证的通信车辆。车辆所有者必须（周期性地）预处理用于公钥和车辆的固定不可改变属性的列表两者的证书。此外，所提出的方法被证明是适应于现有的认证协议。我们说明了所提出的协议的安全性验证使用详细的证明Spi演算。
2015-07-16 cs.CR cs.NI
