基于上下文空间的计算机使用代理安全高效访问控制

本文提出CSAgent框架,通过上下文空间为基于大型语言模型的计算机使用代理提供安全高效的访问控制。该系统采用静态策略和意图感知机制,支持API、CLI和GUI等多种接口,能防御99.36%的攻击且仅产生6.83%性能开销。

构建功能开关:从零搭建的经验分享

本文分享了作者在实际项目中构建功能开关系统的经验,包括解决开发与测试节奏不匹配的问题、实现用户级配置控制、以及构建动态配置系统的技术实现细节。

红队演练实战指南:模拟真实网络攻击强化安全防御

本文深入解析红队演练的核心概念、实施步骤和实际案例,涵盖网络渗透、社会工程、恶意软件等攻击技术,帮助企业通过对抗性模拟测试安全防御体系,提升事件响应能力和整体安全态势。

可验证一次性程序开启量子互联网新应用

本文介绍可验证一次性程序及其在构建单轮开放安全计算中的应用,包括密封拍卖、共识协议和差分隐私统计等场景。该方案仅需单量子比特态与经典密码原语,为近量子技术实现提供了新框架。

基于经验分布的隐私机制设计:点式最大泄漏与机制优化

本文提出了一种基于经验分布的隐私机制设计框架,通过点式最大泄漏(PML)评估隐私风险,利用数据样本估计生成分布,构建最优二元机制并证明其可转化为线性约束凸规划问题,相比本地差分隐私在保持相似隐私保障的同时显著提升效用。

基于自动机学习与模型检验的安全测试方法

本文提出一种结合自动机学习和模型检验的安全测试框架,通过黑盒学习获取系统行为模型,利用上下文命题映射标注模型,并定义通用安全属性来验证通信协议的安全性。该方法在NFC和UDS协议案例中展示了其灵活性和可扩展性。

离网民用应急通信系统:技术能力与用户可访问性的桥梁

本文提出了一种集成低功耗长距离网络与应急智能手机应用的统一通信系统,可在蜂窝网络中断时实现去中心化通信。通过苏黎世实地测试验证了868MHz频段在1.2公里范围内达到92%的数据包传输率,同时开发了具备点对点消息传递和身份验证功能的移动应用。