摘要。HMAC和NMAC是将Merkle-DamgLARD HASH函数转换为消息Au-thentication代码(MACS)或伪随机函数(PRFS)的最基本和重要结构。在Crypto 2017上,Song和Yun在标准假设下表明HMAC和NMAC是量子伪函数(QPRF),即潜在的压缩函数是QPRF。当HMAC和NMAC的输出长度为n位时,他们的证明可确保安全性高达O(2 N/ 5)或O(2 N/ 8)量子查询。但是,可证明的安全性约束与使用O(2 N/ 3)量子查询的简单区分攻击之间存在差距。本文解决了缩小差距的问题。我们表明,将HMAC或NMAC与随机函数区分开的量子查询数的紧密结合是量子随机甲骨文模型中的θ(2 n/ 3),其中压缩函数被建模为量子随机甲壳。基于Zhandry压缩甲骨文技术的替代形式化,给出紧密的量子绑定,我们引入了一种新的证明技术,重点是量子查询记录的对称性。
标题 6 小学和中学教育 第 27 章 公立学校资本支出委员会 第 30 部分 全州适足性标准 6.27.30.1 发布机构:公立学校资本支出委员会。[6.27.30.1 NMAC - N,2002 年 9 月 1 日] 6.27.30.2 范围:本规则旨在为公立学校建筑和场地提供全州适足性标准。这些标准的应用应限于支持教育计划和课程所需的空间和属性,这些空间和属性由公立教育部门的标准和基准定义和论证,并且在人员配备、维护和设施充分利用的运营预算范围内是可持续的。新墨西哥州公立学校全州适足性标准是动态的,委员会计划定期审查这些标准,并根据时间和情况的要求对其进行修订。这些标准旨在用于评估现有公立学校设施的基线要求,并不旨在限制新建和改建项目设计解决方案的灵活性。新墨西哥州公立学校适足性规划指南是州政府提供的一份配套文件,用于学校项目的规划和设计。新墨西哥州公立学校适足性规划指南通过引用纳入这些标准,并可由理事会在充分通知和听取公众意见的情况下进行修改。[6.27.30.2 NMAC - N,2002 年 9 月 1 日;A,2005 年 8 月 31 日;A,2007 年 12 月 14 日;A,2010 年 7 月 15 日;A,2012 年 9 月 14 日; A,2019 年 12 月 17 日] 6.27.30.3 法定权力:公立学校资本支出法案,1978 年 NMSA 第 22-24-5 节。[6.27.30.3 NMAC - N,2002 年 9 月 1 日] 6.27.30.4 期限:永久。[6.27.30.4 NMAC - N,2002 年 9 月 1 日] 6.27.30.5 生效日期:2002 年 9 月 1 日,除非在章节末尾注明更晚的日期。[6.27.30.5 NMAC - N,2002 年 9 月 1 日;A,2005 年 8 月 31 日; A,2019 年 12 月 17 日] 6.27.30.6 目标:新墨西哥州公立学校全州充分性标准确定了校舍的物理条件和容量、这些设施的教育适宜性以及这些设施对技术基础设施的需求的可接受水平。这些标准不旨在限制设施的最大规模。[6.27.30.6 NMAC - N,2002 年 9 月 1 日;A,2005 年 8 月 31 日;A,2019 年 12 月 17 日] 6.27.30.7 定义:除非另有规定,否则适用以下定义:A.“辅助空间”是指支持主要项目空间的活动或功能所需的任何从属空间;B.“艺术教育项目”包括视觉和表演艺术项目;C.“平均入学率”是指过去 5 年内现有学校入学的学生平均人数;
© 2002 GE Smallworld,一家在英格兰和威尔士注册的有限合伙企业,商业名称为 GE Network Solutions。保留所有权利。GE 和 g 是通用电气公司的商标和服务标志。ENMAC™ 是 IGE Energy Services (UK) Limited 在英国的注册商标。Oracle® 是 Oracle Corporation 的注册商标。UNIX® 是 The Open Group 的注册商标。Windows NT® 是 Microsoft Corporation 的注册商标。ANSI® 是美国国家标准协会的注册商标。Intel® 是 Intel Corporation 的注册商标。Compaq® 是 Compaq Computer Corporation 的注册商标。Visual Basic® 是 Microsoft Corporation 的注册商标。OSF/Motif® 是 Open Software Foundation, Inc. 的注册商标。本文件中提及的其他公司或产品名称可能是其各自公司的商标或注册商标。