摘要 — 随着对网络物理系统的攻击日益复杂,欺骗已成为一种有效的工具,通过混淆攻击者的感知来提高系统安全性。在本文中,我们提出了一种欺骗性博弈的解决方案,其中控制代理要在对手存在的情况下满足由共同安全时间逻辑公式指定的布尔目标。代理故意引入不对称信息来创建收益误解,表现为对博弈模型中标记函数的误解。因此,对手无法准确确定博弈的给定结果满足哪个逻辑公式。我们在图上引入了一个称为超博弈的模型来捕捉具有单边收益误解的不对称信息。基于该模型,我们给出了这种超博弈的解决方案,并使用该解决方案来合成隐秘的欺骗策略。具体来说,通过将超博弈简化为具有可达性目标的双人博弈和单人随机博弈,可以开发出欺骗性必胜和欺骗性几乎必胜策略。引入一个运行示例来演示博弈模型和用于策略综合的解决方案概念。索引术语——基于形式化方法的控制;线性时间逻辑;图上博弈;超博弈论。
供应链中断和地缘政治紧张局势加剧,使地缘经济碎片化 (GEF) 的风险和潜在收益与成本成为政策辩论的焦点。本章研究 GEF 如何重塑外国直接投资 (FDI) 的地理格局,以及 FDI 碎片化如何影响全球经济。近期 FDI 放缓的特点是东道国之间的模式不同,流动越来越集中在地缘政治一致的国家,特别是在战略部门。展望未来,由于依赖地缘政治遥远的国家的 FDI,一些 EMDE 极易受到 FDI 迁移的影响。从长远来看,由于地缘政治集团的出现而导致的 FDI 碎片化会造成巨大的产出损失。对于面临 AE 加强限制的 EMDE 来说,这些损失可能尤其严重,AE 是 FDI 的主要来源。维护全球一体化的多边努力是减少 FDI 碎片化带来的巨大而广泛的经济成本的最佳方式。当多边协议不可行时,需要进行磋商和程序以减轻单边政策的溢出效应。在一个更加分散的世界里,一些国家可以通过促进私营部门发展来降低其脆弱性,而其他国家则可以利用投资流的转移来吸引新的外国直接投资,进行结构性改革和改善基础设施。
摘要。本文介绍了德国莱布尼兹大气物理学研究所(54.12°N,11.77°E)的莱布尼兹大气物理学研究所的扩展的技术规格。升级的组件与现有的具有日光的雷利 - 米兰(RMR)温度激光雷达(RMR)温度激光雷达(RMR)温度激光雷达。新系统包括一个带有激光,望远镜和检测器的独立激光雷,该激光与(旧的)温度激光雷达同步并适应。结果,通过RMR激光雷达的组合,用三个(垂直和倾斜)梁探测了大气。这项工作旨在强调使用单边碘细胞技术来构建多普勒 - 雷利激光痛系统的最新创新,该技术允许同时测量风,温度和气溶胶。我们将详细介绍支撑子系统,这些子系统允许高度的激光自动化,并简单地提供有关该系统的关键技术信息,该系统将支持读者在额外的RMR风温型激光痛系统中的发展。我们展示了时间分辨的温度和风声,达到约90 km。这些数据与35至50 km之间的ECMWF-IF-ifs pro填充非常吻合,但显示出更大的可变性。在伴侣界中,我们将介绍与数据处理链相关的算法设计和不确定性预算。
一些西巴尔干国家没有与欧盟对俄罗斯的制裁保持一致,这是俄罗斯在该地区日益突出的地位(特别是在塞尔维亚和波斯尼亚和黑塞哥维那)及其影响该地区政治情绪和平衡的努力所带来的更大问题的一部分。塞尔维亚反欧盟情绪令人担忧的增长,加上该国继续拒绝对俄罗斯实施制裁,对欧盟继续与塞尔维亚在外交政策问题上的合作构成了重大挑战。虽然西巴尔干国家加入欧盟是欧盟外交政策的既定目标,但土耳其加入欧盟及其与共同外交与安全政策框架的一致性似乎被冻结了。土耳其日益单边的外交政策,加上其地缘政治野心,意味着该国更像是欧盟的主要合作伙伴之一,而不是紧密结盟的欧盟成员国候选人 4 。然而,欧盟与土耳其的关系也提供了可能性,因为土耳其与俄罗斯和乌克兰都建立了良好的关系。如果成功,土耳其作为调解人的角色——以及向乌克兰出口武器的重要国家——可能会为欧盟与土耳其的关系注入新的动力。即使欧盟不鼓励土耳其在战争中选边站并实施制裁,欧盟也可以通过密切监视任何可能规避欧盟制裁的行为并与安卡拉解决问题来维护其立场。第 3 章探讨了欧盟的不同政策选择。
其贸易伙伴)赢得其他国家的善意并在经济上支持我们的盟友。大多数发展援助也是 ES 1.0。ES 1.0 工具以美国压倒性的技术经济实力和愿意花费这些资本实现外交政策目标为前提。在冷战时期的大部分时间里,外交政策目标(最重要的是遏制苏联共产主义)压倒了国内经济政策考虑,因此美国外交政策机构对美国国内经济政策机构(如果有这样的机构)拥有不成比例的影响力。正如政治学家塞缪尔·亨廷顿 1978 年在《外交政策》杂志上所写的那样,“经济能力和经济关系必须服务于美国的基本外交政策目标,即鼓励东西方合作、遏制苏联扩张和弘扬美国价值观。”事实上,似乎没有考虑到竞争力的影响,包括布什政府的电信设备出口管制,尽管这些措施无疑加速了中国电信设备行业(如华为和中兴)的崛起五到十年。美国继续保持技术经济优势被视为理所当然。正如前参议院财政委员会主席拉塞尔·朗(民主党 - 路易斯安那州)所言,为了“拯救世界免于一场大战”,国务院认为“放弃我们拥有的每个行业是值得的。” 此外,美国的技术经济主导地位为美国决策者提供了非常强大的工具。1980 年,美国生产了全球 40% 以上的高科技产品,而今天这一比例仅为 18%。由于美国占据主导地位,即使是单边出口管制也会对其目标产生重大负面影响。
中国 放松管制 一、现状 为适应社会主义市场经济进一步发展的需要,使国内贸易和投资管制与国际惯例接轨,中国在放松管制方面做了大量工作。--经过多轮单边减税,中国将简单平均关税税率降至目前的23%; --自1992年以来,中国已将进口配额、许可证和进口管制产品由1247个减至385个,占进口税则税目总数的5%,而此前这一比例为20%; --中国放宽了金融服务、商业零售、能源、交通运输、旅游等领域的市场准入条件。正在积极探索进一步放松管制的试点。目前,除少数禁止类领域外,大多数领域都对外资开放; --外商投资企业开始获得对外贸易准入。首批两家合资性质的外贸公司在上海获准成立;——中国放宽了对生产型企业贸易权的限制,简化了手续,加快了申请的处理速度;——从1996年底开始,在经济特区(深圳、珠海、汕头、厦门、海南)正式推行生产型企业贸易权登记制;——中国1994年实行统一汇率制度,实行单一浮动汇率。1996年宣布在同年底实现人民币经常项目自由兑换;——除8种国营贸易产品和6种指定进口商进口产品外,中国已放开所有产品的进口。二、目标A、提高法规透明度——积极协助编写APEC放松管制和自由化措施报告; --持续发布与贸易有关的最新法律、法规和规定
欺骗在信息不完全的战略互动中起着至关重要的作用。受安全应用的启发,我们研究了一类具有单边不完全信息的双人回合制确定性博弈,其中玩家 1(P1)的目的是阻止玩家 2(P2)达到一组目标状态。除了行动之外,P1 还可以放置两种欺骗资源:“陷阱”和“假目标”,以误导 P2 有关博弈的转变动态和收益。陷阱通过使陷阱状态看起来正常来“隐藏真实”,而假目标通过将非目标状态宣传为目标来“揭示虚构”。我们感兴趣的是联合合成利用 P2 错误信息的 P1 的最佳诱饵放置和欺骗性防御策略。我们在图模型上引入了一个新颖的超博弈和两个解决方案概念:隐秘欺骗必胜和隐秘欺骗几乎必胜。这些确定了 P1 可以在有限步内或以 1 的概率阻止 P2 到达目标的状态,并且 P2 不会意识到自己被欺骗了。因此,确定最佳诱饵位置相当于最大化 P1 的欺骗获胜区域的大小。考虑到探索所有诱饵分配的组合复杂性,我们利用组合合成概念来表明诱饵放置的目标函数是单调的、非减的,并且在某些情况下是亚模或超模的。这导致了一个诱饵放置的贪婪算法,当目标函数是亚模或超模时实现 (1 − 1 / e ) 近似。提出的超博弈模型和解决方案概念有助于理解各种安全应用中的最佳欺骗资源分配和欺骗策略。
新的集体量化目标 第十次技术专家对话和特设工作计划第二次会议 国际和平研究所欢迎有机会响应号召,让缔约方和观察员组织向下一次气候融资新集体量化目标 (NCQG) 会议提交意见。 根据《巴黎协定》第 9.1 条,发达国家应提供资金,帮助发展中国家开展减缓和适应工作。 为了满足发展中国家的气候融资需求,下一届 NCQG 必须实现两个目标:一个雄心勃勃的目标和实现这一目标的方法。 为此,在上一次技术专家对话中,发展中国家建议 NCQG 应包括一系列定性措施,以帮助提高、加强或利用雄心勃勃的量化数字。 这些包括与气候融资获取、协调和交付相关的规定,以及“不利因素”,例如高资本成本、缺乏财政空间和与贸易限制有关的“单边措施”。这些经济和官僚障碍阻碍了国内外对发展中国家气候项目和政策的投资。由于全球经济长期存在结构性不平等,这些障碍也大多是发展中国家独有的。反过来,通过 NCQG 解决这些障碍将有助于为实现 COP29 上雄心勃勃的气候融资目标开辟一条可行的道路,并鼓励在 COP30 上为所有国家制定更雄心勃勃的国家自主贡献。本提案扩展了发展中国家的建议,包括一份更广泛、更具体的气候融资障碍清单,供下一届 TED 会议审议。
摘要。安全的双方计算考虑双方计算其私有输入的联合函数而不透露计算输出以外的任何内容的问题。在这项工作中,我们迈出了理解以下情况的第一步:1)双方(Alice 和 Bob)只能通过经典信道进行通信,2)Bob 的输入是量子的,3)Alice 的输入是经典的。我们的第一个结果表明,在这种情况下,在恶意量子对手的情况下,通常不可能通过黑盒模拟实现双方量子功能。特别是,我们表明,仅依赖经典信道的安全量子计算协议的存在将与量子不可克隆论证相矛盾。我们通过三种不同的方法规避了这种不可能性。第一种方法是考虑一种较弱的安全概念,称为单边模拟安全。这个概念以标准的基于模拟的意义保护一方(量子 Bob)的输入,并保护另一方输入(经典 Alice)的隐私。我们展示了如何实现一个依赖于有错学习假设的满足这一概念的协议。第二种规避不可能结果的方法是假设量子输入具有有效的经典表示,同时提供基于标准模拟的安全性以抵御恶意 Bob。最后,我们将注意力集中在零知识函数类上,并提供一个编译器,该编译器以 QMA 关系 R 的经典量子知识证明 (PoQK) 协议作为输入(经典 PoQK 是可以由经典验证者验证的 PoQK),并输出可以由经典方验证的 R 的零知识 PoQK。我们的结果直接意味着 Mahadev 的量子计算经典验证协议 (FOCS'18) 可以转变为具有经典验证者的量子知识零知识证明。据我们所知,我们是第一个实例化这种原语的人。
布朗主席、斯科特排名成员、参议院银行委员会的尊敬成员们,感谢你们邀请我来作证,介绍美国商务部工业和安全局(BIS)出口管理局为管理美国出口管制以保护美国国家安全和外交政策利益而正在进行的努力。我们仍然高度集中精力应对中华人民共和国政府的军事现代化和侵犯人权行为以及俄罗斯联邦(俄罗斯)为进一步非法、不公正和无端侵略乌克兰而获取军民两用技术所带来的挑战。我们一直在通过重振多边努力和以新的方式实施出口管制来应对这些巨大挑战。现在,我们的工作比以往任何时候都更依赖于与盟友和合作伙伴的深入合作。我们还在尽一切努力确保 BIS 的出口管理局(EA)能够成功应对未来的国家安全挑战,首先是与滥用人工智能(AI)有关的挑战。 BIS 与跨部门合作伙伴一起负责保护美国国家安全和外交政策利益,确保美国技术不会被可能危害美国的外国和实体获取。该局还致力于促进美国的技术领导地位。这一责任源于 BIS 的授权法规《2018 年出口管制改革法案》(ECRA),该法案描述了 BIS 管理和执行其出口管制系统的政策目标。在我领导 BIS 的监管和许可职能的同时,我的同事、出口执法 (EE) 部门的出口执法助理部长马修·S·阿克塞尔罗德 (Matthew S. Axelrod) 领导该局的执法人员和分析师行使行政和刑事执法权,打击涉嫌违反我们出口管制的行为。通过我领导的 BIS 出口管理部门,我们确定涉及国家安全和外交政策的敏感美国技术,制定保护这些技术的政策和战略,并审查出口商提交的许可申请,以确定特定交易是否符合美国国家安全和外交政策利益。我们还分析数据、行业信息和机密报告,以评估我们管制的有效性、外国技术的可用性(包括识别盟友和伙伴国家开发的敏感技术)以及在接收美国技术之前需要额外审查的外国最终用户。在与国务院、国防部和能源部密切协调实施美国出口管制时,我们努力采取多边方式。可以肯定的是,有时单边出口管制是必要的,但正如 ECRA 指出的那样,“多边出口管制是最有效的。”因此,与我们的盟友和合作伙伴协调出口管制是 BIS 的长期优先事项。在今天的证词中,我将讨论我们对中国实施的长期管制、拜登-哈里斯政府采取的加强管制、针对令人担忧的中国实体、我们为支持我们最亲密的盟友和合作伙伴所做的努力,以及增加资金以支持我们使命的必要性。