A Framework for Mapping Organisational Workforce Knowledge Profile in Cyber Security
本文提出了一个利用CyBOK构建组织网络安全知识概况的框架，用于识别知识覆盖范围与差距，支持组织进行针对性招聘、培训或第三方外包评估，并通过三个案例研究和从业者研讨会验证完善了该框架。
2024-06-05 cs.CR
Give LLMs a Security Course: Securing Retrieval-Augmented Code Generation via Knowledge Injection
提出CodeGuarder框架，通过构建安全知识库并注入检索增强代码生成过程，显著提升多种大语言模型生成代码的安全性，平均提升20.12%，在投毒场景下提升高达31.53%，且不影响功能正确性。
2025-04-23 cs.CR cs.SE
Semi-Automated Detection of Gaps in LLM Security Knowledge
Northeastern University（东北大学）
研究旨在实现大语言模型安全知识自动化测试，引入利用消费者保护机构权威信息识别LLM响应不稳定性的部分自动化方法，通过对身份盗窃和冒名顶替诈骗主题及Gemini和GPT家族中5个LLMs进行测试，可区分模型安全知识充足与否。
2026-09-23 cs.AI cs.CR cs.HC
Multi-Layered Security System: Integrating Quantum Key Distribution with Classical Cryptography to Enhance Steganographic Security
本文提出一种将E91量子密钥分发、SHA散列与AES对称加密及图像隐写相结合的多层安全系统，实验证明其能有效抵御量子和经典攻击并提升数据传输安全性。
2024-08-13 cs.CR quant-ph
Knowledge Flow Analysis for Security Protocols
知识流分析提供了一种简单而灵活的方法来发现安全协议中的缺陷。一个协议是由一系列规则来描述的，这些规则约束了知识在主体之间的传播。由于这种特征与协议的非正式描述密切相关，因此它允许简洁和自然的形式化;由于它抽象了消息排序，并统一处理了加密原语的主体和应用程序之间的通信，因此它很容易用标准逻辑表示。在合金建模语言的通用框架，并实例化的两个标准协议，和一个新的密钥管理方案。
2006-05-24 cs.CR cs.SE
A Generalized Two-Phase Analysis of Knowledge Flows in Security Protocols
我们介绍知识流分析，一个简单而灵活的形式主义检查密码协议。知识流提供了一种统一的语言来表达主体的行为、对入侵者的警告以及密码原语的属性。我们的方法使一个广义的两阶段分析：我们扩展了两阶段理论，通过确定必要的和充分的性质，一个广泛的一类密码原语的理论成立。我们还提供了一个标准的原语库，并表明他们满足我们的标准。
2006-05-22 cs.CR
ZKPs: Does This Make The Cut? Recent Advances and Success of Zero-Knowledge Security Protocols
一个人如何在不分享健康信息的情况下获得健康保险？如何在不透露信用评分的情况下获得贷款？有一种方法可以证明各种数据的某些属性，无论是健康指标还是财务信息，而不会泄露数据本身或任何其他类型的个人数据。这种方法被称为零知识证明。零知识技术是一种数学方法，用于在不共享或泄露底层数据的情况下验证事物。零知识协议有着广泛的应用，从简单的身份方案和区块链到国防研究计划和核军备控制
2020-06-17 cs.CR
Dispelling Myths on Superposition Attacks: Formal Security Model and Attack Analyses
人们普遍认为，如果允许Adjunct执行叠加查询，并且迫使诚实的参与者在量子态上相干地执行操作，则经典密码协议的安全性会自动被破坏。另一个被广泛接受的直觉是，对交换的消息强制执行测量足以保护协议免受这些攻击。然而，现实要复杂得多。处理叠加攻击的安全模型只考虑无条件安全。相反，考虑计算安全性的安全模型假设所有假定的经典消息都是测量的，这通过构造来禁止叠加攻击的分析。Boneh和Zhandry在Crypto'13的开创性工作中开始研究经典原语的量子计算安全性，但仅限于单方设置。据我们所知，在多党背景下仍然缺少一个等效的模型。在这项工作中，我们提出了第一个计算安全模型考虑叠加攻击的多方协议。我们表明，我们的新的安全模型是可满足的，通过证明著名的一次性垫协议的安全性，并给出了一个同样著名的姚安全两方计算协议的变体上的攻击。这种攻击的事后分析揭示了精确的失败点，产生了非常违反直觉的结果：增加额外的经典通信，这对经典安全性是无害的，可以使协议受到叠加攻击。我们使用这个新传授的知识来构建第一个具体的协议，安全的两方计算，是抵抗叠加攻击。我们的研究结果表明，有没有直接的答案，以提供无论是经典协议的叠加攻击的脆弱性或适应的对策。
2020-07-01 cs.CR quant-ph
Information Security Awareness at Oman Educational Institutions : An Academic Prespective
对计算机和互联网使用的知识和实践之间的差距是影响信息安全的主要因素。对阿曼的教育机构进行了一项调查，以了解各实体对信息安全的认识程度。调查集中在以下因素的IT安全：人口统计，互联网的使用，对组织的网络安全威胁的认识经验，对密码管理的认识，电子邮件安全意识和知识的安全实践。该调查吸引了173名受访者：信息安全意识和安全实践知识的水平进行了关联和分析。查明了与安全执行、认识和做法有关的薄弱领域。
2016-05-17 cs.CR cs.CY
Using Program Knowledge Graph to Uncover Software Vulnerabilities
本文提出融合程序细粒度执行信息与 CVE、CWE 数据的 Program Knowledge Graph，并结合 LLM 生成查询以检测真实系统实现中的安全漏洞。
2023-12-08 cs.CR
Exploring the Security Threats of Knowledge Base Poisoning in Retrieval-Augmented Code Generation
本文首次系统研究检索增强代码生成系统中知识库投毒的安全风险，通过多LLM、多检索器和多投毒场景实验证明单个投毒样本可危及高达48%的生成代码，并提出缓解建议。
2025-02-05 cs.CR cs.SE
A Note on Quantum Security for Post-Quantum Cryptography
Shor的量子因子分解算法和其他一些有效的量子算法破解了许多经典密码体制。作为回应，人们提出了基于计算问题的后量子密码学，即使是量子计算机也很难相信。然而，这些方案对\emph{quantum}攻击的安全性是难以捉摸的。这是因为现有的安全分析（几乎）只涉及经典攻击者，并且由于独特的量子特性（如不可克隆），在量子对手存在的情况下论证安全性具有挑战性。这项工作提出了一个通用的框架，研究经典的安全证明可以恢复在量子设置。基本上，我们把一个安全证明分解成（一系列）经典的安全约简，并研究什么样的安全约简是“量子友好的”。我们刻画了充分条件，使经典的减少可以“解除”的量子设置。然后，我们将我们的提升定理后量子签名方案。我们能够表明，经典的通用构造的哈希树为基础的签名从单向函数和更有效的变种提出的~ \cite{BDH11}结转到量子设置。也就是说，假设存在的（经典）单向函数是有效的量子反演算法抵抗，存在一个量子安全的签名方案。我们注意到，该计划在~ \cite{BDH11}是一个很有前途的（后量子）候选人在实践中实现，我们的结果进一步证明了它。最后，我们证明了我们的框架的通用性，通过显示，一些现有的作品（全域散列在量子随机预言模型~ \cite{Zha12ibe}和简单的混合参数框架在~ \cite{HSS11}）可以在我们的统一框架下重新制定。
2014-09-08 cs.CR quant-ph
Activating Latent Security Knowledge through LLM-Guided Risk Analysis for Secure Code Generation
Radboud University（拉德堡德大学）；University of Bristol（布里斯托大学）；University of Zagreb（扎格雷布大学）
提出SPARK方法，通过检索CWE条目并添加结构化提示激活模型内隐安全知识，结合预计算令牌偏置，无需重训练即可提升代码安全性。
2026-08-27 cs.AI cs.CR
End-Users' Knowledge and Perception about Security of Mobile Health Apps: A Case Study with Two Saudi Arabian mHealth Providers
移动健康应用程序（简称mHealth应用程序）在医疗保健领域越来越多地被采用，使政府、卫生单位、医生和患者等利益相关者能够以普遍的方式利用健康服务。尽管mHealth应用程序具有多项已知优势，但仍会带来重大的安全和隐私挑战，可能导致数据泄露，带来严重的社会、法律和经济后果。这项研究提出了一个实证调查的安全意识的最终用户的mHealth应用程序，可在主要的移动平台，包括Android和iOS。我们与沙特阿拉伯的两家移动医疗服务提供商合作，调查了101名最终用户，调查了他们对（i）现有和期望的安全功能，（ii）安全相关问题，以及（iii）提高安全知识的方法的安全意识。调查结果表明，大多数最终用户都知道应用程序提供的现有安全功能（例如，受限的应用程序许可）;然而，它们期望可用的安全性（例如，生物测定认证）并且关心他们的健康信息的隐私（例如，数据匿名化）。最终用户建议，会话超时或双因素身份验证（2FA）等协议对安全性有积极影响，但会影响应用程序的可用性。通过社交媒体，同行指导或应用程序提供商的培训提高安全意识可以增加最终用户对mHealth应用程序的信任。这项研究基于经验证据调查了以人为本的知识，并提供了一套指导方针，以开发安全和可用的mHealth应用程序。
2021-09-24 cs.CR cs.SE
A Spatial-Epistemic Logic for Reasoning about Security Protocols
关于安全属性的推理涉及关于系统的信息位于何处以及它如何随时间演变的推理。虽然大多数安全分析技术需要处理信息局部性和知识传播的一些概念，但通常它们不提供用于表达涉及局部知识和知识转移的任意属性的通用语言。在此基础上，我们介绍了一个框架，基于动态空间逻辑规范的安全协议分析。我们的计算模型是现有的π演算的一个变种，而规格表示在一个动态的空间逻辑扩展的认知算子。我们提出的语法和语义的模型和逻辑，并讨论了表达的方法，显示它完成了被动攻击者。我们还证明了通用Dolev-Yao攻击者可以机械地确定任何确定性有限协议，并讨论了如何使用这个结果可能是开放系统的安全属性的原因。我们还提出了一个模型检查算法，我们的逻辑，这已被实现为SLMC系统的扩展。
2011-02-28 cs.CR cs.LO
Public-Key Quantum Fire and Key-Fire From Classical Oracles
Carnegie Mellon University（卡内基梅隆大学）；NTT Research（NTT研究所）
本文基于经典预言机构造了公钥量子火，并证明其安全性，同时引入了量子钥匙火和交互安全性概念，实现了量子力学基本原理及密码学安全性的分离。
2026-03-14 cs.CR quant-ph
Exploring Knowledge Leakage Risk in Knowledge-Intensive Organisations: Behavioural aspects and Key controls
知识泄漏对知识密集型组织的竞争优势构成了严重的风险。虽然知识泄漏是一个以人为中心的安全问题，但人们对个人行为造成的泄漏以及可有效减轻泄漏风险的保护战略和控制知之甚少。因此，本研究探讨了安全从业人员的观点，在知识密集型组织的背景下，影响知识泄漏风险的关键因素。我们组织了两个焦点小组来探讨这些观点。该研究强调了三种类型的行为控制，以减轻知识泄漏的风险：人力资源管理实践，知识安全培训和意识的做法，和划分的做法。
2021-04-14 cs.CR
Poisoned Playbooks: Demystifying Knowledge Poisoning Effects on AI Security Agents
NAVER Cloud；College of AI Convergence, Dankook University（檀国大学AI融合学院）；School of Computing, Kyung Hee University（庆熙大学计算机学院）
研究揭示通过RAG注入单条有毒安全知识可系统性改变AI安全代理行为，提出验证边界（VB）分类法，并评估验证提示与多源检索的防御效果。
2026-06-24 cs.CR
Security Limitations of Classical-Client Delegated Quantum Computing
安全委托量子计算允许计算能力弱的客户端以隐私保护的方式将任意量子计算外包给不可信的量子服务器。经典客户端远程状态准备（$RSP_{CC}$）是实现量子计算经典委托的一个有希望的候选方案，其中客户端使用经典信道远程准备量子态。然而，使用$RSP_{CC}$作为子模块所导致的隐私损失尚不清楚。在这项工作中，我们使用Maurer和Renner（ICS'11）的构造性密码学框架来研究这个问题。我们首先确定的目标是$RSP_{CC}$的理想RSP资源的建设，从经典的信道，然后揭示使用$RSP_{CC}$的安全限制。首先，我们揭示了构建理想的RSP资源（从经典信道）和克隆量子态的任务之间的基本关系。任何经典构造的理想RSP资源都必须向服务器泄漏所生成的量子态的完整经典描述（可能以编码形式），即使我们仅以计算安全为目标。因此，我们发现，实现共同的RSP资源，而不会大大削弱他们的保证，是不可能的，由于无克隆定理。其次，上述结果不排除特定的$RSP_{CC}$协议至少在某些上下文中可以替代量子信道，例如Broadbent等人的通用盲量子计算（UBQC）协议（FOCS '09）。然而，我们发现，所得到的UBQC协议不能保持其已证明的组合安全性，只要$RSP_{CC}$被用作一个子程序。第三，我们证明了用Cojocaru等人的$RSP_{CC}$协议QFactory替换上述UBQC协议的量子信道（Asi…
2020-07-03 cs.CR quant-ph
Modeling Adversaries in a Logic for Security Protocol Analysis
安全协议分析的逻辑需要形式化的对手模型，指定对手的能力。一个常见的模型是Dolev-Yao模型，它只考虑能够编写和重放消息并使用已知密钥解密的对手。Dolev-Yao模型是一个有用的抽象，但它有一些缺点：它不能处理知道协议特定信息的对手，也不能处理概率概念，例如对手试图猜测密钥。我们展示了如何使用一个逻辑与算法知识的概念，我们可以分析不同的对手模型下的安全协议。粗略地说，假设对手使用算法来计算他们的知识;对手的能力是通过对所使用的算法进行适当的限制来捕获的。我们展示了如何在这种情况下对标准的Dolev-Yao对手进行建模，以及如何捕获更一般的能力，包括特定于协议的知识和猜测。
2012-03-09 cs.CR cs.LO
"You Just Assume It Is In There, I Guess": UK Families' Application And Knowledge Of Smart Home Cyber Security
物联网（IoT）越来越多地出现在许多家庭中，但目前尚不清楚家庭对使用此类设备的网络安全威胁和风险的了解程度，以及他们如何教育自己了解这些主题。通过对英国553名家长的调查和对25个家庭的采访，我们发现，家庭并不认为家用物联网设备在威胁方面与传统家用电脑有显著不同，并认为通过消费者保护法规可以在很大程度上减轻主要风险。因此，家长们专注于教导要小心使用设备，以延长设备使用寿命，使他们的家庭面临额外的安全风险，并为他们的孩子建立不正确的安全行为模型。这对现在和未来都是一个风险，因为孩子们在学校没有被教导物联网以及对这些设备的适当网络安全管理。我们继续建议，制造商和政府或适当的可信机构必须采取措施，以改善成人和儿童在使用家庭物联网设备方面的网络安全知识和行为。
2022-06-08 cs.CR cs.HC
Knowledge-Concealing Evidencing of Knowledge about a Quantum State
鲍勃有一个黑盒子，它发出一个纯态量子，从他的角度来看，它是均匀分布的。爱丽丝希望给鲍勃的证据，她有知识的发射状态，而给他很少或根本没有信息it.We证明，零知识证明这样的知识是不可能的量子相对论协议，扩展Horodecki等人以前的结果。我们还表明，没有这样的协议可以既健全和完整的。我们提出了一个新的量子相对论协议，我们推测是接近最佳的安全对爱丽丝和揭示很少的知识，鲍勃，大尺寸$d$。我们分析了它的安全性，对一般攻击的鲍勃和限制攻击的爱丽丝。
2017-06-24 cs.CR quant-ph
On the Security Risks of Knowledge Graph Reasoning
Penn State（宾夕法尼亚州立大学）；Zhejiang University（浙江大学）；Hong Kong Polytechnic University（香港理工大学）；Arizona State University（亚利桑那州立大学）
本研究系统梳理知识图谱推理的安全威胁，提出ROAR攻击类，实证显示其能高效误导目标查询而几乎不影响非目标查询，并探讨了过滤投毒知识与对抗训练等对策。
2023-06-22 cs.AI cs.CR
KGSecConfig: A Knowledge Graph Based Approach for Secured Container Orchestrator Configuration
容器集群管理器（CO）是管理容器集群的重要技术，容器集群可以形成用于开发和操作软件系统的虚拟化基础设施。像任何其他软件系统一样，保护CO是至关重要的，但由于大量的可配置选项，这可能是一项非常具有挑战性的任务。手动配置不仅知识密集且耗时，而且容易出错。为了实现CO安全配置的自动化，提出了一种新的基于知识图谱的安全配置方法KGSecConfig。我们的解决方案利用关键字和学习模型，在统一的结构中系统地捕获，链接和关联异构和多供应商配置空间，以支持CO安全配置的自动化。我们在Kubernetes，Docker，Azure和VMWare上实现KGSecConfig，以构建安全配置知识图谱。我们的评估结果显示，关键字和基于学习的安全配置选项和概念提取的准确率分别为0.98和0.94。我们还演示了如何利用知识图谱在Kubernetes集群中自动缓解错误配置。我们断言，我们的基于知识图谱的方法可以帮助解决几个挑战，例如，安全配置错误，与手动配置CO安全相关。
2021-12-21 cs.CR cs.SE
Epistemic Temporal Logic for Information Flow Security
时间认知逻辑是一个完善的框架，用于表达代理人的知识以及它如何随着时间的推移而演变。在基于语言的安全中，这些是核心问题，例如在解密的情况下。我们建议将这两个领域结合起来。本文提出了一个计算模型和一个认知时态逻辑，用于推理通过观察程序输出获得的知识。这种方法被证明是优雅地捕捉标准的概念，不干扰和解密的文献，以及敏感和公共数据混杂在微妙的方式的信息流属性。
2012-08-30 cs.CR cs.LO cs.MA
Quantum McEliece public-key encryption scheme
本文研究了McEliece公钥加密（PKE）方案的一个量子版本，并分析了其安全性。众所周知，经典McEliece PKE的安全性并不比相关的经典单向函数的单向性强。我们证明了量子McEliece PKE的安全性介于两者之间。此外，我们提出了双重加密技术来提高其安全性，并证明了改进方案的安全性介于原方案和量子一次一密方案之间。
2015-01-19 cs.CR quant-ph
Quantum Information-Flow Security: Noninterference and Access Control
量子密码学在过去的二十年里得到了广泛的研究，但量子计算和通信系统的信息流安全在以前的研究中几乎没有涉及。由于经典系统与量子系统的本质区别，为经典系统（包括概率系统）开发的形式化方法不能直接应用于量子系统。本文定义了一个自动机模型，在这个模型中我们可以严格地推理量子系统的信息流安全性。该模型是Goguen和Meseguer的不干涉的量子概括。发展了量子无干涉的解旋证明技术，建立了量子系统安全的某种组合性。所提出的形式主义，然后用来证明量子系统中的访问控制的安全性。
2013-01-28 cs.CR quant-ph
A set of semantic data flow diagrams and its security analysis based on ontologies and knowledge graphs
Yanka Kupala State University of Grodno（格罗德诺扬卡·库帕拉国立大学）
长期以来，威胁建模被视为一个手动的、复杂的过程。然而，现代敏捷开发方法和云计算技术需要添加自动威胁建模方法。这项工作考虑了两个挑战：创建一组机器可读的数据流图，代表真正的基于云的应用程序;和使用领域的特定知识，自动分析这些应用程序的安全方面。这组180个语义图（本体和知识图谱）是基于云配置（Docker Compose）创建的;该组包括一个手动分类法，允许定义基于Web的应用程序和数据处理应用程序的设计和功能方面;该组可用于威胁建模领域的各种研究。这项工作还评估了如何本体和知识图谱可以用来自动识别模式（映射到安全威胁）的图表。模式以对知识库的请求的形式表示图的特征，这使得它能够在图的语义表示中被识别。在实验中，创建了四组模式（Web应用程序，数据处理，网络和Docker特定），并通过模式检查图表。自动结果，收到的Web应用程序和数据处理模式，与手动分类法进行比较，以研究自动威胁建模的挑战。
2023-03-20 cs.AI cs.CR
Message Randomization and Strong Security in Quantum Stabilizer-Based Secret Sharing for Classical Secrets
通过在经典秘密的量子稳定器秘密共享方案的编码过程中引入消息随机化，提高了其访问结构设计的灵活性。我们推广Gilbert-Varshamov界的确定性编码的随机编码的经典秘密。我们还提供了一个显式的例子斜坡秘密共享方案，其经典秘密中的多个符号被透露给一个中间集，并证明了将传统的秘密共享的强安全性标准的必要性。最后，利用量子稳定子构造了一个显式的强安全Ramp秘密共享方案，在相同的共享大小和访问结构下，该方案比McEliece-Sarwate强安全Ramp秘密共享方案能够支持两倍于经典方案的大秘密.
2020-09-13 cs.CR cs.IT math.IT
RelExt: Relation Extraction using Deep Learning approaches for Cybersecurity Knowledge Graph Improvement
University of Maryland, Baltimore County（马里兰大学巴尔的摩县分校）；Laboratory for Physical Sciences（物理科学实验室）
在“安全运营中心”（SoC）工作的安全分析师在确保组织的安全方面发挥着重要作用。他们拥有的关于不断发展的和新的攻击的背景知识的数量在他们检测攻击的能力上有很大的不同。开源威胁情报源，如关于网络攻击的文本描述，可以以结构化的方式存储在网络安全知识图谱中。网络安全知识图谱在帮助安全分析师检测网络威胁方面可能是至关重要的，因为它以可以查询的语义三元组的形式存储了大量的网络威胁信息。语义三元组包含两个网络安全实体，它们之间存在关系。在这项工作中，我们提出了一个系统来创建语义三元组的网络安全文本，使用深度学习方法来提取可能的关系。我们使用通过我们的系统生成的语义三元组的集合来在网络安全知识图谱中断言。安全分析师可以从知识图谱中检索这些数据，并使用这些信息来形成有关网络攻击的决策。
2019-05-16 cs.AI cs.CL cs.CR
Multi-Copy Security in Quantum Cryptography and More
Carnegie Mellon University（卡内基梅隆大学）；NTT Research（NTT研究所）；NTT Social Informatics Laboratories, Tokyo, Japan（NTT社会信息学实验室）
针对不可克隆密码学中多副本安全性的空白，提出通用编译器，在单向函数假设下将抗共谋原语升级为多副本安全，并首次构造多副本安全的量子货币、单解密器加密及多挑战安全方案。
2026-10-06 cs.CR quant-ph
A Knowledge-Based Multi-Agent Framework for Security Control Recommendation
Cybersecurity & Blockchain Research Group, i2CAT Foundation（网络安全与区块链研究组，i2CAT基金会）；Department of Information and Communication Technologies, Universitat Pompeu Fabra（信息与通信技术系，庞培法华大学）
针对缺乏网络安全知识团队强化本地IT环境难的问题，提出基于知识的安全DSS，利用统一数据集，基于MAID模型，通过无悔在线学习推荐安全控制子族，经不同数据集验证，取得较好性能和准确性。
2026-07-14 cs.AI cs.CR cs.GT
Beyond the Quantum Promise: A Security Analysis of Classical Control in Quantum Key Distribution
University of Massachusetts Amherst（马萨诸塞大学阿默斯特分校）
本文针对QKD协议的经典控制安全性，基于ETSI和ITU-T规范构建混合模型，用Tamarin发现三类漏洞并提出测量承诺等改进，验证后已提交给标准化组织。
2026-08-11 cs.CR cs.SC quant-ph
DECLASSIFLOW: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures (Full Version)
针对现有推测执行防御措施性能开销过高的问题，提出DECLASSIFLOW静态分析框架，通过建模非推测执行下的攻击者知识，移除已确定会非推测性泄露的数据的防护，在保证安全的同时降低了常数时代码的防护开销。
2023-12-14 cs.CR
Quantum preprocessing for information-theoretic security in two-party computation
在经典的两方计算中，一个可信的初始化器准备某些初始相关性，称为一次性表，可以帮助使双方的输入在信息理论上是安全的。我们提出了一些可能中止的二分量子协议，用于近似生成具有不同程度隐私的二分经典关联，而不引入第三方。在对各方的一些弱要求下，安全级别对于用于二分计算是重要的。我们表明，安全性有时取决于噪声水平，但我们提出了一种处理噪声的方法。安全性是“强制安全性”，这意味着一些有用的一次表的概率产生可以接近$1$在无噪声的情况下，在相当弱的假设有关的各方，虽然协议允许中止。我们展示了如何使用生成的一次性表来实现通用的两方经典或量子计算任务中的非平凡信息理论安全性，包括（交互式）量子同态加密。我们的方法提供了一些无信号相关性，包括PR盒类型的检查为基础的实现，在通信的帮助下，没有信息的输入生成的相关性。
2021-04-19 cs.CR quant-ph
SecFSM: Knowledge Graph-Guided Verilog Code Generation for Secure Finite State Machines in Systems-on-Chip
SecFSM通过构建FSM安全知识图谱并基于漏洞检索生成安全提示，引导大语言模型生成更安全的Verilog FSM代码，在25个安全测试用例上达到21/25的通过率。
2025-08-21 cs.AI cs.AR cs.CR
Cyber-All-Intel: An AI for Security related Threat Intelligence
University of Maryland, Baltimore County（马里兰大学巴尔的摩郡分校）
跟上威胁情报是今天的安全分析师必须。有大量的信息存在于“野生”，影响到一个组织。我们需要开发一个人工智能系统来搜索情报来源，让分析师了解对她的组织构成风险的各种威胁。一个更好地“利用”的安全分析师可能更有效。在本文中，我们提出，网络全英特尔人工智能系统，以帮助安全分析师。它是一个基于网络安全信息学领域的端到端管道中的知识提取，表示和分析系统。它使用多个知识表示，如向量空间和“VKG结构”中的知识图谱来存储传入的情报。该系统还使用神经网络模型来主动改进其知识。我们还创建了一个查询引擎和一个警报系统，分析师可以使用它们来查找可操作的网络安全见解。
2019-05-07 cs.AI cs.CL cs.CR
NISQ Security and Complexity via Simple Classical Reasoning
本文提出一种针对NISQ环境的混合相干测量与重编程框架及提升定理，仅通过经典推理计算单一组合量即可证明量子安全性与复杂性，并推导出多种密码学任务的首批直接乘积定理与混合困难度。
2025-09-11 cs.CC cs.CR quant-ph
Incidents Are Meant for Learning, Not Repeating: Sharing Knowledge About Security Incidents in Cyber-Physical Systems
网络物理系统（CPS）是工业自动化和运输系统等最关键基础设施的一部分。因此，针对CPS的安全事件可能会对资产和人员造成破坏性后果。由于以前的事件往往会再次发生，因此共享有关这些事件的知识可以帮助组织更好地预防，减轻或调查未来的事件。本文提出了一种新的方法，使表示和知识共享CPS事件在不同的组织。为了支持共享，我们表示事件知识（事件模式），捕获可以再次出现的事件特征，例如犯罪者利用的事件活动或漏洞。事件模式是特定事件实例的更抽象的表示，因此，它足够通用，可以应用于各种系统-不同于事件发生的系统。它们还可以避免披露有关组织资产和资源的潜在敏感信息。我们提供了一个自动化的技术，从一个特定的事件实例中提取事件模式。为了理解事件模式如何在其他网络物理系统中再次出现，我们还提供了一种自动化技术来将事件模式实例化到特定系统。我们证明了我们的方法在智能建筑的应用领域的可行性。我们评估的正确性，可扩展性和性能使用两个实质性的场景，灵感来自现实世界的系统和事件。
2019-06-29 cs.CR
GRID: Graph Representation of Intelligence Data for Security Text Knowledge Graph Construction
Arizona State University（亚利桑那州立大学）；Case Western Reserve University（凯斯西储大学）；University of Notre Dame（诺丁汉大学）；TensorBlock；Facebook（脸书）
本文提出GRID框架，通过构建可追溯的文章-图对齐，将文档到图学习转化为剧本任务库，提升安全知识图谱构建的稳定性和效率。
2026-05-15 cs.AI cs.CR
SoK: Kicking CAN Down the Road. Systematizing CAN Security Knowledge
Qatar Computing Research Institute（卡塔尔计算机研究所）；Georgia Institute of Technology（佐治亚理工学院）；Purdue University（普渡大学）；IIT Delhi（德里印度理工学院）
本文系统化梳理CAN总线安全知识，提出攻击者、攻击与防御的分类法及评估模型，分析其根本原因是否CAN特有，并评估三种新兴车载总线能否解决这些安全问题，发现多数根因共通，仅换新技术不够，需解决共性根因并提出四个研究方向。
2026-09-28 cs.CR
What is Quantum Computer Security?
本文提出量子计算机安全的概念，即保护量子计算机免受安全攻击，与保护经典计算机的后量子密码学形成互补。
2025-10-07 cs.CR quant-ph
Computational Security of Quantum Encryption
量子力学设备有可能改变密码学。这一领域的大多数研究都集中在量子协议的信息论优势或经典密码方案对量子攻击的安全性上。在这项工作中，我们开始了另一个相关主题的研究：量子数据在计算环境中的加密。在这个方向上，我们建立几个基本的经典结果的量子版本。首先，我们为量子数据的私钥和公钥加密方案开发自然定义。然后，我们定义的语义安全性和不可分割性的概念，并与Goldwasser和Micali的经典工作类比，表明这些概念是等价的。最后，我们从基本的原语构造安全的量子加密方案。特别是，我们表明，量子安全的单向函数意味着IND-CCA 1安全的公钥量子加密，量子安全的陷门单向排列意味着语义安全的公钥量子加密。
2016-02-03 cs.CR quant-ph
Zero knowledge proofs for cloud storage integrity checking
随着云存储的广泛应用，云安全成为了一个至关重要的问题。相关工作已经解决了数据机密性和完整性等安全问题，确保远程存储的数据由云进行良好的维护。然而，如何定义存储数据完整性检查的零知识证明算法还没有正式定义和研究。我们认为，云服务器不能泄露有关存储数据的任何有用信息是很重要的。在本文中，我们介绍了一种新的定义的数据隐私的完整性检查，它描述了非常高的安全性的零知识证明。我们发现，所有其他现有的远程完整性证明都没有捕捉到这个特性。我们提供了一个全面的研究数据隐私和完整性检查算法，捕捉数据的完整性，机密性，隐私性和健全性。
2019-12-01 cs.CR
Introducing the Unitychain Structure: A novel blockchain-like structure that enables greater parallel processing, security, and performance for networks that leverage distributed key generation and classical consensus protocols
Unitychain是一种新型的类似区块链的结构，它大大提高了交易的可扩展性和安全性，同时保持了持续的网络性能，即使参与节点需要执行新的分布式密钥生成过程以实现安全目的。此外，Unitychain结构通过将不同数据库和计算范围的不同网络节点配置分配到多个交叉的区块链链中，从而实现更大的并行处理，从而创建多螺旋结构，我们称之为Unitychain。因此，这使得网络能够进一步将节点的角色分为任意但确定性的网络责任，以最大限度地提高全局计算潜力。
2021-01-21 cs.CR cs.DC
On homomorphic encryption using abelian groups: Classical security analysis
本文分析Leonardi-Ruiz-Lopez加法同态加密方案在有限阿贝尔群下的经典安全性，并研究可解群实例化面临的量子攻击。
2023-09-27 cs.CR
Reinforcing Security and Usability of Crypto-Wallet with Post-Quantum Cryptography and Zero-Knowledge Proof
针对量子计算威胁和种子短语不便，提出结合后量子密码学（PQC）和零知识证明（ZKP）的算法，利用LTSSS、Kyber和ZKP增强钱包安全与可用性，并支持恢复和重设私钥。
2023-08-29 cs.CR cs.DC cs.ET
How Reliable is the Crowdsourced Knowledge of Security Implementation?
Stack Overflow（SO）是最受欢迎的在线问答网站，供开发人员分享他们解决编程问题的专业知识。对于某些问题，如果有多个答案，开发人员可能会采用已接受的答案、来自声誉较高的人的答案或经常建议的答案。然而，研究人员最近在流行的SO答案中发现了可利用的安全漏洞。这一观察启发我们探索以下问题：我们可以在多大程度上信任SO上的安全实现建议？如果建议的答案是脆弱的，开发人员可以依靠社区的动态来推断漏洞并识别安全的对应物吗？为了回答这些非常重要的问题，我们通过对比安全和不安全的建议与社区给出的内容评估对SO帖子进行了研究。我们研究了SO激励机制是否能有效地提高分布式代码的安全性能。此外，我们还跟踪了重复的答案，以评估社区行为是否有助于传播安全和不安全的代码建议。我们编译了953组不同的类似的安全相关代码示例，并标记了它们的安全性，识别出785个安全的答案帖子和644个不安全的答案帖子。与安全建议相比，不安全建议的浏览量更高（36，508 vs. 18，713），得分更高（14 vs. 5），平均重复次数明显更多（3.8 vs. 3.0）。34%的可信用户发布的帖子不安全。我们的研究结果表明，SO上有很多不安全的片段，而社区给出的反馈不允许区分安全和不安全的选择。此外，信誉机制无法指示关于安全问题的值得信赖的用户，最终使其他用户独自徘徊在软件安全雷区。
2019-01-04 cs.CR cs.SE
A Quantum-Classical Scheme towards Quantum Functional Encryption
量子加密是经典信息和量子信息领域的一个研究热点。然而，很少有人知道量子加密方案，使用户在不同的密钥，学习不同的功能，明文，给定的密文。本文提出了一种新的1比特密钥量子加密方案，该方案是对该方案的经典扩展，允许不同的密钥持有者从密文中学习不同长度的明文序列。我们证明了我们的量子经典方案安全的概念下的量子语义安全性，量子熵的不可否认性，和最近的安全定义从功能加密领域。
2017-03-01 cs.CR quant-ph
Quantum Tagging for Tags Containing Secret Classical Data
各种作者已经考虑了用于{ \it量子标记}的方案，即，在由对手控制的环境中，通过从适当定位的远距离站点发送和接收量子信号来认证经典标记设备的经典位置，对手的量子信息处理和传输功率潜在地是无限的。这项任务提出了一些关于密码安全假设的有趣的新问题，因为安全模型中相对微妙的细节可能会极大地影响可达到的安全性。我们认为在这里的情况下，标签是加密安全的，并显示如何实现标记安全地在这个模型。
2011-08-27 cs.CR cs.IT math.IT
An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security
描述攻击者在网络物理系统中的行为对于确保这些系统的安全态势和恢复能力非常重要。传统的网络脆弱性评估方法依赖于网络安全专家的知识和经验来进行安全分析，在缺乏专家知识和经验的情况下可能不一致。本文提出了一种灵活的攻击者建模框架，通过模拟不同的攻击者行为来预测攻击进展并提供一致的系统漏洞分析，从而帮助进行安全分析。该模型提出了一种扩展的漏洞数据库架构，以最大限度地提高其有效性和一致性，在检测CPS漏洞，同时与现有的漏洞数据库兼容。该模型具有针对实际或虚拟CPS实施和模拟的能力。攻击者模型的执行被证明对模拟的工业控制系统架构，导致攻击者行为的概率预测。
2021-03-16 cs.CR
VeriLoRA: Fine-Tuning Large Language Models with Verifiable Security via Zero-Knowledge Proofs
Shenzhen University（深圳大学）；Nanjing University of Science（南京理工大学）；Nanyang Technological University（南洋理工大学）
VeriLoRA通过整合零知识证明与LoRA微调，实现了大语言模型在敏感环境中的安全可信部署。
2025-12-02 cs.AI cs.CR
Simulation of Attacker Defender Interaction in a Noisy Security Game
Drexel University（德雷塞尔大学）
在网络安全环境中，维护者往往受其检测技术的支配，并受制于个别分析人员所掌握的信息和经验。为了给防御者一个优势，重要的是要了解攻击者的动机和他们可能的下一个最佳行动。作为对这种行为建模的第一步，我们引入了一个安全游戏框架，该框架模拟了在嘈杂环境中攻击者和防御者之间的相互作用，重点关注在具有完全知识和可观察性的游戏变体中驱动攻击者和防御者做出决策的因素，知道参数但没有状态的可观察性（“部分知识”）和零知识或可观察性（“零知识”）。我们证明了对攻击者做出正确假设的重要性，因为结果存在显着差异。此外，在攻击者结果方面，假阳性和真阳性之间存在可测量的权衡，这表明在真阳性也较高的条件下，更容易出现假阳性的环境可能是可接受的。
2022-12-08 cs.AI cs.CR cs.GT
Towards Robust Reasoning over Knowledge Graphs
在大规模知识图谱（KG）上进行复杂的逻辑查询是一项重要的人工智能任务，需要一系列应用。最近，知识表示学习（KRL）已经作为最先进的方法出现，其中KG实体和查询被嵌入到潜在空间中，使得回答查询的实体被嵌入接近查询。然而，尽管KRL的人气飙升，但其潜在的安全风险在很大程度上尚未被探索，这是令人担忧的，因为在安全关键领域（例如，网络安全和医疗保健）。这项工作是缩小这一差距的坚实的第一步。我们根据潜在的攻击向量（例如，知识中毒和查询扰动）和对手的背景知识。更重要的是，我们提出了ROAR（Reasoning Over Adversarial Representations），这是一类新的攻击，可以实例化各种此类威胁。我们在两个代表性用例中证明了ROAR的实用性（即，网络威胁狩猎和药物再利用）。例如，ROAR在误导威胁情报引擎为目标查询提供预定义答案方面达到了99%以上的攻击成功率，而对非目标查询没有任何影响。此外，我们讨论了针对ROAR的潜在对策，包括过滤中毒事实和使用对抗性查询进行鲁棒训练，这导致了几个有前途的研究方向。
2021-11-01 cs.CR
