Capacity of Quantum Private Information Retrieval with Multiple Servers
研究了多服务器量子私有信息检索系统的容量问题。在具有多个服务器的QPIR问题中，用户通过从多个服务器下载量子系统来检索经典文件，每个服务器包含经典文件集的副本，而下载文件的身份不会泄露给每个服务器。QPIR容量被定义为文件大小在下载的量子系统的整个维度上的最大比率。当假设服务器共享先验纠缠时，我们证明了多服务器的QPIR容量为1，而不管服务器和文件的数量。我们构造了一个只有两个服务器的速率一协议。该协议在容量、服务器保密性和上传成本等方面都优于经典协议。在不使用任何保密条件的情况下，简洁地导出了强逆界。我们还证明了多轮QPIR的容量为1。
2021-01-20 cs.CR cs.IT math.IT
Keyword-Based Delegable Proofs of Storage
终端存储容量有限的云用户（客户端）可以将批量数据外包给云存储服务器。客户可以在以后通过下载所需的数据文件来访问她的数据。然而，客户端外包给服务器的大部分数据文件通常本质上是归档的，客户端将其用于备份目的并且不太频繁地访问。因此，不受信任的服务器可以删除这些归档数据文件中的一些，以便节省一些空间（并将其分配给其他客户端）而不被客户端（数据所有者）检测到。存储证明使客户端能够审核其上传到服务器的数据文件，以确保这些文件的完整性。在这项工作中，我们介绍了一种类型的（选择性）存储证明，我们称之为基于关键字的可委托存储证明，其中客户端希望审计包含特定关键字的所有数据文件（例如，“重要”）。此外，它满足了公共可验证性的概念，其中客户端可以将审计任务委托给代表客户端审计与关键字对应的文件集的第三方审计员。我们正式定义了基于关键字的可委托存储证明协议的安全性。我们构造了这样一个协议的基础上现有的存储证明方案和分析我们的协议的安全性。我们认为，我们使用的技术可以应用于任何现有的公开可验证的存储证明方案的静态数据。最后，我们讨论了我们的建设效率。
2018-09-25 cs.CR
Minimizing Information Leakage under Padding Constraints
攻击者可以通过分析网络流量来获取用户的信息。传输数据的大小会泄露有关正在传输的文件或正在使用的服务的信息，当攻击者具有有关可用于传输的文件或服务的背景知识时，这一点尤其明显。为了防止这种情况，服务器可能会使用填充方案来填充它们的文件，改变文件大小并防止任何人唯一地猜测它们的身份。这项工作的重点是找到最佳的填充方案，保持隐私和带宽增加的成本之间的平衡。我们认为Rényi-min泄漏作为我们的主要措施的隐私，因为它是直接关系到一个简单的攻击者的成功，并比较我们的算法与现有的解决方案，最大限度地减少香农泄漏。我们提供了改进我们的算法，以优化平均总填充和香农泄漏，同时最大限度地减少Rényi-min泄漏。此外，我们的算法被设计为处理一个更一般和重要的情况下，多个服务器希望计算填充方案的方式，保护服务器的身份，除了文件的身份。
2022-09-09 cs.CR
Multi-prover Proof-of-Retrievability
最近对“云存储”有相当大的兴趣，其中用户要求服务器存储大文件。一个问题是用户是否可以验证服务器实际上正在存储文件，并且通常采用质询-响应协议来使用户相信文件确实被正确地存储。这些方案的安全性是用提取器来描述的，该提取器将在给定任何具有足够高的成功概率的“证明算法”的情况下恢复文件。这构成了\emph{proof-of-retrievability}（$\mathsf{PoR}$）系统的基础。本文研究了多服务器$\mathsf{PoR}$系统。我们形式化了两种可能情况下的安全定义：（i）当阈值的服务器成功的概率足够高（最坏情况）和（ii）当所有服务器的成功概率的平均值高于阈值（平均情况）。我们还鼓励研究外包信息的保密性。我们给$\mathsf{M}\mbox{-}\mathsf{PoR}$计划，这是安全的，在这两个安全的定义，并提供合理的保密性保证，即使没有限制的计算能力的服务器。我们还展示了Paterson，Stinson和Upadhyay（Journal of Mathematical Cryptology：7（3））使用的经典统计技术可以扩展到评估证明者的响应是否足够准确以允许成功提取。我们还研究了我们的构造的一个特定实例，当使用Shacham-Waters方案的无条件安全版本（Asiacrypt，2008）进行实例化时。该方案提供了合理的安全性和隐私性保证。我们表明，在多服务…
2016-03-08 cs.CR
LLM-assisted Generation of Pseudo-C2 Servers for IoT Malware Dynamic Analysis
Kagawa University（香川大学）；Trend Micro, Inc.（趋势科技）
提出结合Ghidra与大语言模型（LLM）的系统，从恶意软件二进制中提取通信规范并自动生成伪C2服务器，在Mirai上实现100%规范提取并复现7/10种DDoS攻击。
2026-06-24 cs.CR
Decrypting live SSH traffic in virtual environments
解密和检查加密的恶意通信可以帮助犯罪检测和预防。对客户端或服务器存储器的访问使得能够发现解密安全通信所需的伪像。本文开发了MemDecrypt框架来研究内存中加密文物的发现，并将该方法应用于解密虚拟机的安全通信。对于Secure Shell，用于安全的远程服务器管理，文件传输和隧道传输等，MemDecrypt实验快速产生实时安全文件传输的AES加密细节，包括远程用户凭据，传输的文件名和文件内容。因此，MemDecrypt可以发现加密文物并快速解密实时SSH恶意通信，包括检测和拦截机密数据的数据泄露。
2019-07-25 cs.CR
Efficient methodology for implementation of Encrypted File System in User Space
加密文件系统（EFS）将加密服务推送到文件系统本身。EFS支持通过标准UNIX文件系统接口在系统级别对加密文件进行安全存储。用户可以将加密密钥与他们希望保护的目录相关联。这些目录中的文件（以及它们的路径名组件）使用指定的密钥透明地加密和解密，而无需进一步的用户干预;明文永远不会存储在磁盘上或发送到远程文件服务器。EFS可以将任何可用的文件系统用于其底层存储，而无需修改，包括远程文件服务器（如NFS）。系统管理功能（如文件备份）以正常方式工作，无需知道密钥。性能对用户来说是一个重要因素，因为加密可能很耗时。本文描述了在UNIX操作系统上，使用快速密码算法在用户空间设计和实现EFS。在用户空间中实现EFS使其可移植性和灵活性;内核大小也不会增加，从而导致更可靠和高效的操作系统。描述了用于文件系统级加密的加密技术，并讨论了支持例行安全计算的密码系统接口的一般问题。
2009-08-04 cs.CR
On the privacy of a code-based single-server computational PIR scheme
我们证明了Holzbaur，Hollanti和Wachter-Zeh在2020年提出的单服务器计算PIR协议不是私有的，在这个意义上，服务器可以在多项式时间内以非常高的概率恢复所需文件的索引。攻击基于以下观察。删除查询矩阵中与所需文件相对应的行会大大降低该穿孔矩阵的行所跨越的向量空间的$\mathbb{F}_q$上的维数。只有在删除与请求的文件无关的行时，才会出现这种维度丢失，其概率可以忽略不计。
2020-04-01 cs.CR cs.IT math.IT
Source Code Analysis to Remove Security Vulnerabilities in Java Socket Programs: A Case Study
本文通过对一个用Java开发的文件阅读器服务器套接字程序（面向连接的套接字）的源代码分析，阐述了5个重要的软件安全漏洞的识别、影响分析和消除方案，这些漏洞如果不被关注，可能会严重影响运行软件的服务器以及托管服务器的网络。本文研究的五个漏洞是：（1）资源注入，（2）路径操纵，（3）系统信息泄漏，（4）拒绝服务和（5）未释放资源漏洞。我们分析了这些漏洞出现在文件读取器服务器套接字程序中的原因，讨论了在程序中不加注意的影响，并提出了从程序中删除这些漏洞的解决方案。我们还分析了任何潜在的性能权衡（如代码大小的增加和功能的损失），可能会出现，同时将建议的解决方案上的服务器程序。所提出的解决方案本质上是非常通用的，并且可以被适当地修改以纠正以任何其他程序设计语言开发的软件中的任何这样的漏洞。我们使用Fortify源代码分析器对文件阅读器服务器程序进行源代码分析，该程序在Windows XP虚拟机上使用标准J2SE v.7开发工具包实现。
2013-02-06 cs.CR
A Newer User Authentication, File encryption and Distributed Server Based Cloud Computing Security Architecture
云计算平台为人们提供了在全世界人民之间共享资源、服务和信息的机会。在私有云系统中，信息在云中的人之间共享。为此，安全或个人信息隐藏过程阻碍。在本文中，我们提出了新的安全架构的云计算平台。这确保了通信系统的安全，并对他人隐藏信息。该模型包括基于AES的文件加密系统和用于交换信息或数据的异步密钥系统。这种结构可以很容易地应用于主要的云计算功能，例如PaaS，SaaS和IaaS。该模型还包括用于用户认证过程的一次性密码系统。我们的工作主要涉及整个云计算平台的安全体系。
2013-03-04 cs.CR cs.DC
Three Tier Encryption Algorithm For Secure File Transfer
这种加密算法主要是为了在低权限服务器以及安全环境中进行安全的文件传输而设计的。这种方法将在数据中心和组织的其他重要数据交易部门中实施，其中软件的编码过程将由数据库管理员或系统管理员完成，并且他的可信客户将对软件进行解码过程。此软件不会分发给未经授权的客户。
2011-11-10 cs.CR
Security Analysis of Chain-FS service
分析声称“无需信任”的云存储服务，发现其端到端加密在密码最短时易受字典攻击，且文件共享仅用 TLS 传输解密密码，安全性不足。
2025-03-30 cs.CR
Cache-Aided Multi-User Private Information Retrieval using PDAs
研究了基于缓存的多用户私有信息检索（MuPIR）问题。在此问题中，$N$独立文件跨$S \geq 2$非串通服务器复制。有$K$用户，每个用户都配备有可以存储$M$文件的高速缓冲存储器。每个用户都想从服务器上检索一个文件，但用户不想让任何服务器获得有关其需求的任何信息。在用户决定他们的需求之前，用户缓存被填充了文件的一些任意函数，这被称为放置阶段。在决定他们的需求后，用户合作发送查询到服务器，以私下检索他们想要的文件。在接收到查询后，服务器广播编码传输，这是它们接收到的查询和文件的函数，称为交付阶段。将查询传送到服务器会导致用户的上传成本，并且下载由服务器广播的答案会导致下载成本。为了实现缓存辅助的MuPIR方案，每个文件必须被分割成$F$数据包。在本文中，我们提出了MuPIR计划，利用放置交付阵列（PDA）的特点放置和交付。建议MuPIR计划显着降低子分组化水平，同时略有增加下载成本。该方案还大大降低了用户的上传成本。对于基于{ \it Ali-Niesen}方案的集中式编码缓存的PDA，我们证明了我们的方案在下载成本方面是顺序最优的。我们恢复了{ \it Tian et al.}作为特例我们的方案也达到了最佳速率的单用户缓存辅助PIR设置报告R。唐登
2022-12-26 cs.CR cs.IR cs.IT
TwinCloud: Secure Cloud Sharing Without Explicit Key Management
随着云技术的出现，越来越多的易于使用的服务可以存储文件并与其他云用户共享。通过提供安全功能，云服务提供商试图鼓励用户在其服务器上存储个人文件或公司文档。然而，当服务器本身不受信任时，他们的服务器端加密解决方案并不令人满意。虽然有几种客户端解决方案可以为云共享提供安全性，但由于密钥管理中的可用性问题，它们并没有得到广泛使用。在本文中，我们提出了TwinCloud，这是一个创新的解决方案，其目标是为用户提供一个安全的系统，而不影响云共享的可用性。TwinCloud通过为复杂的密钥交换问题带来一种新颖的解决方案，并通过向用户隐藏所有加密和密钥分发操作来提供一种简单实用的方法来存储和共享文件，从而实现了这一目标。作为网关，TwinCloud使用两个或多个云提供商将加密密钥和加密文件存储在单独的云中，从而简化了安全共享，而无需信任任何一个云服务提供商，前提是它们不会相互勾结。我们将TwinCloud作为一个轻量级应用程序实现，并将其作为开源应用程序提供。我们的可用性研究结果显示了TwinCloud的安全共享解决方案的前景。
2016-07-13 cs.CR
Quantum Private Information Retrieval from Coded and Colluding Servers
在经典的私有信息检索（PIR）设置中，用户想要从数据库或分布式存储系统（DSS）中检索文件，而不向保存数据的服务器泄露文件身份。在量子PIR（QPIR）设置中，用户通过从服务器接收量子信息来私下检索经典文件。Song \emph{et al.}已经在复制服务器的情况下处理了QPIR问题，无论是没有共谋还是除了一个服务器之外的所有服务器都共谋。在本文中，QPIR设置扩展到占最大距离可分离（MDS）编码服务器。所提出的协议适用于任何$[n,k]$ -MDS码和$t$ -勾结与$t=n-k$。类似于前面的情况下，所实现的速率优于那些已知的或在经典的同行中所描述的。此外，它演示了如何适应协议可以实现显着更高的检索率从DSS编码的本地可修复代码（LRC）与不相交的修复组，其中每个是一个MDS代码。
2020-08-07 cs.CR cs.IR cs.IT
Crypto-ransomware detection using machine learning models in file-sharing network scenario with encrypted traffic
自过去几年以来，勒索软件被认为是大多数企业的重大威胁。在用户可以访问共享服务器上的所有文件的情况下，一个受感染的主机可以锁定对所有共享文件的访问。我们提出了一种基于文件共享流量分析来检测勒索软件感染的工具。该工具监控客户端和文件服务器之间交换的流量，并使用机器学习技术搜索流量中的模式，这些模式在读取和删除文件时泄露了勒索软件的操作。该提案旨在为明文和加密文件共享协议工作。我们比较了三种机器学习模型，并选择最佳模型进行验证。我们使用来自26种不同病毒株的70多个勒索软件二进制文件和来自真实用户的超过2500小时的未感染流量来训练和测试检测模型。结果表明，该工具可以检测所有勒索软件二进制文件，包括那些没有在训练阶段使用（看不见）。本文通过研究误报率和勒索软件在被检测到之前可以加密的用户文件信息量来验证该算法。
2022-02-15 cs.CR cs.NI
Two-Server Private Information Retrieval with Optimized Download Rate and Result Verification
针对不诚实服务器可能返回错误结果的问题，提出多种双服务器场景下兼具信息论隐私与结果验证的PIR方案，支持不同安全级别与密钥类型，以优化下载速率为核心性能目标。
2023-06-08 cs.CR cs.IT math.IT
SEIGuard: An Authentication-simplified and Deceptive Scheme to Protect Server-side Social Engineering Information Against Brute-force Attacks
提出了一种简化身份验证的欺骗性方案（SEIGuard），用于保护服务器端的社会工程信息（SEI）等信息免受蛮干攻击。在SEIGuard中，认证中的密码检查被省略，并且该设计进一步与使用蜂蜜加密的SEI加密设计相结合。登录密码只是作为加密SEI的临时密钥，数据库中没有存储密码明文或密文。在登录过程中，服务器不检查登录密码，正确的密码将密文解密为正确的明文;不正确的密码将密文解密为虚假但看起来可信的明文（从相同的分布中采样）。这两种情况共享相同的未区分的后端过程。该方案消除了在线和离线蛮干攻击所依赖的锚点，并针对4种典型的社会工程信息客体给出了4种SEIGuard方案设计和算法（移动电话号码、身份证号码、电子邮件地址、个人姓名），它们代表4种不同类型的消息空间，即1）有限且均匀分布，2）有限，复杂且均匀分布，3）无限且均匀分布，4）无限且非均匀分布的消息空间。针对SEIGuard方案的应用，提出了多个小映射文件策略、二分查找算法、两部分HE（DTE）设计和增量映射文件解决方案。最后，本文在上述方案、设计和算法的基础上开发了SEIGuard系统。实验结果表明，SEIGuard方案能有效地保护服务器端SEI免受蛮干攻击，且SEIGuard方案的实时响应性能优于传统的PBE服务器方案和HE加/解密方案。
2021-08-18 cs.CR
Web Content Signing with Service Workers
保护Web服务器和浏览器之间的通信是保护万维网的基本任务。今天的网站严重依赖HTTPS来建立安全连接。近年来，几起事件破坏了这种信任，从而破坏了HTTPS系统的安全性。在本文中，我们介绍了一种方法，允许安全的JavaScript文件的情况下，Web服务器和浏览器之间的HTTPS连接受到损害。我们的论文提出了一种解决方案，以保护用户的浏览器，使其只处理内容（例如，JavaScript或HTML），这是真正由Web应用程序服务提供商自己提供的。我们的解决方案利用了service worker，这是最近提出的W3C候选建议，使应用程序能够利用持久的后台处理，包括钩子，以便在离线时启动Web应用程序。它演示了服务工作者如何能够验证客户端浏览器中JavaScript文件的完整性，以及如何使用服务工作者来检测和缓解恶意JavaScript文件。
2021-05-12 cs.CR
Secure Single-Server Nearly-Identical Image Deduplication
云计算通常用于文件存储。云存储服务的客户端希望确保其数据的隐私性，并且客户端和服务器都希望使用尽可能少的存储。跨用户重复数据删除是减少服务器使用的存储量的一种方法。隐私和隐私是自然冲突的目标，特别是对于几乎相同的（“模糊”）去重，因为必须使用关于数据的一些信息来执行去重。因此，现有的解决方案利用多个服务器，或者仅用于精确的去重。在本文中，我们提出了一个单服务器协议的跨用户几乎相同的重复数据删除的基础上安全的位置敏感哈希（SLSH）。我们正式定义了我们理想的安全性，并严格证明我们的协议对完全恶意的，勾结的对手通过模拟证明安全。我们的实验表明，该协议的各个部分是计算上可行的，并进一步讨论实际问题的安全性和效率。
2020-05-05 cs.CR
A Secure File Sharing System Based on IPFS and Blockchain
人们对区块链的许多方法都很感兴趣，因为它们提供了一种以分散的方式记录交易的解决方案。但是，在区块链上存储大型文件或文档时存在一些限制。为了满足存储较大数据的要求，产生了分散式存储介质。IPFS是一个分布式文件系统，它是内容寻址的。它的工作原理与区块链网络非常相似。有一些尝试利用区块链概念和IPFS来设计新方法。不幸的是，使用IPFS和区块链的组合共享数据存在一些效率低下的问题。本文提出了一个安全的文件共享系统，通过采用IPFS代理实现分布式访问控制和组密钥管理。采用在设计中起重要作用的IPFS代理来负责控制策略。IPFS服务器和区块链网络的结合，以及IPFS代理的采用，构成了一个安全的文件共享系统，系统上的成员可以根据自己的选择创建新的组或加入不同的组。虽然IPFS服务器和区块链网络中没有访问控制机制，但安全文件共享系统管理访问控制策略。成员访问的文件只属于他们授权的组。
2022-05-02 cs.CR cs.NI
Breaking the Protocol: Security Analysis of the Model Context Protocol Specification and Prompt Injection Vulnerabilities in Tool-Integrated LLM Agents
本文分析了模型上下文协议的安全漏洞，提出MCPSec协议扩展以提升安全性，减少攻击成功率。
2026-01-24 cs.AI cs.CR
Private Information Retrieval in Graph Based Replication Systems
在专用信息检索（PIR）协议中，用户可以从数据库下载文件，而不向每个单独的服务器泄露文件的身份。如果即使服务器中的$t$相互勾结，文件的身份仍保持隐藏，则PIR协议称为$t$ -私有。基于图的复制是一种简单的技术，在理论和实践中都很流行，用于实现存储系统中的擦除鲁棒性。在这种技术中，每个文件都被复制到两个或多个存储服务器上，从而产生一个（超）图结构。本文研究了基于图的复制系统中的私有信息检索协议。这项工作的主要兴趣是最大限度地提高参数$t$，特别是，了解的勾结集出现在一个给定的图的结构。我们的主要贡献是一个$2$ -复制计划，保证完美的隐私，从非循环集的图，并保证部分隐私的存在下，循环。此外，通过提供一个上界，它表明，该计划的PIR率是最多的一个因素，从它的最佳值为一个重要的家庭的图。最后，我们将我们的结果扩展到更大的复制因子和基于图的编码，这是一种类似的技术，具有更小的存储开销和更大的PIR率。
2019-03-04 cs.CR cs.IT math.IT
Proactive Web Server Protocol for Complaint Assessment
漏洞发现与攻击注入对于服务器软件的安全威胁越来越大，在软件开发时，对软件进行功能测试。由于未意识到软件漏洞，因此在预发布之前，应对软件进行全面测试，不仅测试功能可靠性，还应测试安全流（或）漏洞。模糊器、故障注入、漏洞扫描器、静态漏洞分析器、运行时间预防机制和软件恢复等方法正在识别未打补丁的软件，这些软件可能面临安全威胁，从而解决“安全测试”问题。这些技术对于生成攻击是有用的，但不能扩展到新的攻击领域。该系统称为主动漏洞攻击注入工具，适用于添加新的攻击注入向量，使用工具的接口定义新的协议状态（或）规范的方法包括使用GUI的网络服务器协议规范，攻击生成器，攻击注入器，受害者注入器监视模块，受害者机器监视模块和攻击注入报告生成。该工具可以解决大多数漏洞（或）安全流。
2014-02-09 cs.CR cs.NI
Content Addressed P2P File System for the Web with Blockchain-Based Meta-Data Integrity
针对HTTP协议在扩展Web中的局限，本文提出结合IPFS去中心化文件存储与区块链元数据完整性保护的数据存储与分发模型。
2023-09-09 cs.CR cs.NI
Mining Malware Specifications through Static Reachability Analysis
LIAFA, CNRS（法国国家科学研究中心LIAFA实验室）；Univ. Paris Diderot（巴黎狄德罗大学）
恶意软件（malware）的数量正在失控地增长。基于句法签名的检测无法应对这种增长，并且恶意软件签名数据库的手动构建需要被基于计算机学习的方法所取代。目前，捕获恶意行为语义的单个现代签名可以用来替换任意大量的老式语法签名。然而，教计算机学习此类行为是一项挑战。现有的恶意行为提取方法主要依赖于动态分析，但这种方法不能保证对所有恶意行为的覆盖。为了避开这个限制，我们展示了如何使用静态可达性分析来学习恶意软件签名。其思想是使用下推系统（可用于对二进制代码执行期间发生的堆栈操作进行建模）对二进制程序进行建模，使用可达性分析以树的形式提取行为，并使用从恶意软件文件的训练集中提取的树中常见的子树作为签名。为了检测恶意软件，我们建议使用树自动机来压缩存储恶意行为树，并检查从分析文件中提取的任何子树是否是恶意的。实验数据表明，我们的方法可以用来学习从恶意软件文件的训练集的签名，并使用它们来检测一个测试集的恶意软件是5倍的训练集的大小。
2013-12-17 cs.AI cs.CR cs.LO
