跳到主要内容
检索

Universidade de Santiago de Compostela

3 篇关联报道

订阅更新
  1. 把自主AI智能体的授权写成可密码学验证的关系 R_CVA,并用 Groth16 zk-SNARK 做出可执行概念验证

    该研究提出一个可证伪的假设:智能体授权可形式化为一个可密码学验证的关系 R_CVA,它把智能体主体、具体授权请求、执行上下文与适用策略的满足情况联合绑定,同时选择性保护私有授权属性的机密性;作者给出 CVA 的初步形式化抽象、一组候选安全属性(授权可靠性、主体绑定、请求绑定、策略绑定、抗重放),并在 Groth16 zk-SNARK 构造上实现了一个可执行的零知识概念验证,同时把身份绑定、授权请求绑定与运行时执行绑定之间的结构性分离正式化为安全智能体系统设计中的核心开放问题,并提出可证伪的研究议程。

  2. 把智能体授权写成可验证关系:Groth16 原型在 531 约束电路上完成主体与计划绑定,但执行绑定仍空缺

    作者提出可加密验证的智能体授权(CVA)假设,把授权形式化为同时绑定智能体主体、具体授权请求、执行上下文与策略满足性的关系 RCVA,并给出候选安全属性与一个基于 Groth16 zk-SNARK 的可执行零知识概念验证,该原型实现了主体绑定与计划级请求绑定,而上下文绑定与运行时执行绑定未实现。

  3. Surgical Infections

    预防手术部位感染:全球健康议程中的伦理与操作要务

    本文综述了手术部位感染(SSI)预防的证据与实施经验,涵盖感染预防与控制(IPC)、抗菌药物管理(AMS)、抗菌药物耐药(AMR)、质量改进、监测、安全文化、人为因素与新兴技术,指出多模式、因地制宜的IPC干预可在无需大量资本投入的情况下显著降低SSI发生率,同时基础设施、指南落实、监测与环境控制方面仍存在持续缺口,AMR进一步凸显将AMS纳入外科安全框架的必要性,而人工智能与客观诊断技术可能改善监测与SSI早期识别,因此SSI预防既是临床必需也是伦理要务,全球外科策略应整合上述要素以推进全球外科照护的公平、质量与安全。

已读完全部报道