一个非拟合组织计划开放分类器F,但希望通过将水印直接嵌入模型中来检测其使用。爱丽丝的任务是创建此水印。鲍勃的目的是使F在对手方面稳健,即确保很难找到看起来不奇怪但会导致F犯错误的查询。两个面临挑战:爱丽丝努力创建无法消除的水印,而鲍勃的防御措施变得越来越复杂。他们发现自己的项目已连接。爱丽丝的想法是在F中种植一个后门[1,2],使她能够用隐藏的扳机来制作查询,该扳机激活后门,导致F错误分类,从而检测到F的使用。鲍勃的方法涉及平滑F以增强鲁棒性,这无意中消除了此类后门[2]。他们意识到自己的挑战是同一枚硬币的两个方面:一项任务的不可能可以保证另一个任务的成功。
假设我们为使用哈希功能跳过的RSA签名使用了简化的方案,而是直接使用消息m,因此消息m上的签名s为s = m d mod n。换句话说,如果爱丽丝想向鲍勃发送一条签名的消息,她将(m,s)发送给鲍勃,其中s = m d mod n是使用她的私人签名键D计算的。
摘要 本文提出了一种新的量子密钥分发(QKD)协议,即基于伪随机基纠缠光子的 QKD(PRB-EPQKD)协议。最新协议主要关注三个属性,包括协议的安全性、安全密钥大小和合法通信用户(Alice 和 Bob)之间的最大通信距离。为了实现这一点,我们首先考虑一个位于低地球轨道(LEO)型卫星上的自发参数向下(SPDC)光子源,该光子源能够产生并向 Alice 和 Bob 分发纠缠光子对。其次,我们假设 Alice 和 Bob 的光子状态测量基是通过伪随机数生成器(PRNG)相同生成的,即量子逻辑映射(QLM)。最后,我们还假设除了光子状态之外,Alice 和 Bob 还故意在每个脉冲上共享一组强度随机的诱饵状态,目的是检测窃听者(Eve)的存在。基于这些考虑,我们利用 Gottesman-Lo- Lutkenhaus-Preskill (GLLP) 公式评估了两种不同实现(即基于非诱饵状态和无限主动诱饵状态的 QKD)的安全密钥速率上限。与现有协议相比,安全密钥大小和通信距离都有显著改善,因为我们意识到在日光、下行卫星条件、精心选择的光源和良好的晶体特性下,最大通信距离可达 70000 公里。此外,使用组合的 I 型和 II 型 SPDC 光子源作为我们的纠缠光子对发生器,显著提高了光子平均数,使我们的协议对光子数分割攻击和衰减引起的大气传播更具鲁棒性。此外,该协议与现有协议相比更加安全,因为任何窃听者必须同时破解用作 PRNG 的混沌系统和 QKD 系统,才能获得有关 Alice 和 Bob 使用的测量基的任何有用信息,从而获得安全密钥。
这个思想实验有电磁和引力两种版本;讨论适用于其中一种或两种。在时间 t = 0 之前,爱丽丝开始用自旋在 x 方向的粒子,并将其送入施特恩-格拉赫装置,从而将其置于自旋“向上”和自旋“向下”各 50%-50% 的叠加态中。在 t = 0 之前,鲍勃将他的粒子放在一个陷阱中。从时间 t = 0 开始,爱丽丝将她的粒子送入“逆向施特恩-格拉赫装置”,并确定其相干性(例如,通过测量其 x 自旋)。在时间 t = 0 时,鲍勃从陷阱中释放他的粒子,并试图通过测量爱丽丝粒子的库仑/牛顿场强度来获取爱丽丝粒子的“哪条路径”信息。如果爱丽丝和鲍勃在彼此光程时间内完成测量,爱丽丝的叠加态会保持相干性吗?
2012–2016 牛津大学计算机科学博士学位。论文:重写上下文无关的弦图系列。指导老师:Samson Abramsky、Bob Coecke 和 Aleks Kissinger。考官:Sam Staton(内部)和 Reiko Heckel(外部)。2011–2012 牛津大学计算机科学硕士学位(优异)。重点研究分类量子力学和计算机辅助形式验证。论文:一种面向量子秘密共享的抽象方法。指导老师:Bob Coecke。2008–2011 不来梅雅各布大学数学学士、计算机科学学士。计算机科学和数学双学位。
SDTM编程中的规则FDA提交。 DIA 2018全球年会专业海报; SAS Global Forum 2019论文集; Pharmasug 2019 -Xiangchen(Bob)CUI的药品SAS®用户小组会议论文集; Hao Guan,Min Chen和Letan LinSDTM编程中的规则FDA提交。DIA 2018全球年会专业海报; SAS Global Forum 2019论文集; Pharmasug 2019 -Xiangchen(Bob)CUI的药品SAS®用户小组会议论文集; Hao Guan,Min Chen和Letan Lin
Alice prefs Bob prefs SD outcome SD ranks TTC outcome TTC ranks a ≻ b a ≻ b A : a,B : b A : 1 ,B : 2 A : a,B : b A : 1 ,B : 2 a ≻ b b ≻ a A : a,B : b A : 1 ,B : 1 A : a,B : b A : 1 ,B : 1 b ≻ a a ≻ b A : b,B : a A :1,b:1 a:b,b:a:a:1,b:1 b a b a b a a:b,b:a:a:a:a:a:1,b:2 a:a,b a:a,b a:b a:b a:2,b:1表1爱丽丝,鲍勃,鲍勃及其水果。我们假设TTC的初始捐赠为A:a,b:b。
在本文中,我们研究非本地游戏和量子非本地游戏的策略。我们的主要来源是[19],[25]和[4]。本论文中研究的量子非本地游戏所研究的策略称为量子无信号相关性和量子通勤量子不信号相关性。Quantum no-signalling相关性首先是由Duan和Winter在2016年[9]定义的,[9]与Quantum非局部游戏不同。量子通勤无信号相关性和量子非本地游戏首先由托多罗夫和图洛夫卡在2020年定义[25]。非本地游戏是元组G =(x,y,a,b,λ),其中x和y是两个玩家爱丽丝和鲍勃的问题。这两个玩家必须从答案集A和B中给出答案,而无需与其他玩家沟通。然后,裁判员根据功能λ:x×y×a×b→{0,1}来决定,无论是爱丽丝和鲍勃赢。作为爱丽丝和鲍勃(Alice)和鲍勃(Alice)合作,他们必须事先同意一项策略,以最大程度地提高自己的胜利机会。有不同类别的策略限制了爱丽丝和鲍勃可以访问的资源。本文中主要研究的两类策略是无信号的策略和量子通勤策略。无签名的策略仅将爱丽丝和鲍勃限制为他们无法交流的规则。这意味着爱丽丝的回答不取决于鲍勃的问题,反之亦然。量子通勤策略是无标志性策略的子类,在这种策略中,爱丽丝和鲍勃共享可以部分衡量的量子系统。我们还定义了通用C ∗ - 代数。量子非本地游戏是非本地游戏的概括,爱丽丝和鲍勃得到了“量子”问题和“量子”答案。这是通过从矩阵代数的投影到另一个矩阵代数的投影的连接连接,零保护图建模的。量子非本地游戏的策略是由量子通道给出的,量子通道是将量子状态映射到量子状态的地图,这也阻止了爱丽丝和鲍勃之间的直接通信。在第2节中,我们简要介绍了C ∗ - 代数,并定义了C ∗ - 代数的正元素和地图。在第3节中,我们介绍了Traceclass操作员,这些操作员是希尔伯特空间上有限运营商的子类。然后,我们证明TraceClass运营商是有限运算符的前提。在第4节中,我们介绍了操作员系统,因为需要研究非本地游戏。运算符系统是包含单元的Unital C ∗ -Elgebra的自动障碍子空间。运算符系统也可以定义为我们需要引入其张量产品所需的抽象概念。在第5节中,我们提供了量子信息的基本概念,因为这些信息需要定义非本地游戏和量子非本地游戏的不同策略。在第6节中,我们介绍了非本地游戏,并研究无信号和量子通勤策略。然后,我们将完美的策略分类,这些策略总是通过C ∗ -ergebra中运算符系统的状态空间进行策略。这些分类结果在[19]中显示。在第7节中,我们将非本地游戏推广到量子非本地游戏和对于镜像游戏,这是非本地游戏,对于某些问题,爱丽丝的答案是由鲍勃的答案决定的,反之亦然,我们可以按照给定的C ∗ -Algebra的痕迹对完美的量子通勤策略进行分类。
13a. 工作角色:输入您的 CMCS 用户 ID。您的 CMCS 用户 ID 是 CMCS 用户 ID 前缀和您的 3 个姓名首字母。CMCS 用户 ID 前缀列表可在此处的 CMCS 用户矩阵中找到。示例:名为 Bob Lee Smith 的 WPAFB 财务分析师的 CMCS 用户 ID 为 C837BLS。Bob Smith 会在块 13a 中输入 C837BLS。输入用户 ID 后,它将转换为包含角色和相应菜单的工作角色。请勿编辑此信息,否则表格将被拒绝。