摘要：NORX算法是进入凯撒竞赛第三轮的15个认证加密候选算法之一,该算法的唯一非线性组件由异或、与和移位操作组成。从非线性逼近和循环分析两个密码学性质研究移位参数的选取准则,证明了可变移位函数的非线性逼近概率为三值函数,并得到了移位参数取1时具有最佳的非线性逼近性质;给出了可变移位函数的循环概率表达式,并证明了对于任意非零的移位参数其最大循环概率均相同。由上述分析结果可知,NORX算法中非线性组件的移位参数取1时达到了最佳的非线性逼近和循环性质。该结果可应用于NORX算法的安全性分析中,同时也能为设计类似算法提供理论指导。

摘要：动态密码的设计与分析是当前密码学领域研究的热点.本文针对类CLEFIA动态密码结构和四分组CLEFIA变换簇抵抗不可能差分和零相关线性分析的能力进行评估.当两类动态密码结构的轮函数为双射时,通过研究密码组件的可交换性质,证明了这两类动态密码结构各自置换等价于标准静态密码结构.利用建立的置换等价关系,通过构造静态密码结构不可能差分和零相关线性区分器,证明了4n轮类CLEFIA动态密码结构所有结构均存在8轮的不可能差分和零相关线性区分器,证明了4n轮四分组CLEFIA变换簇所有结构均存在9轮的不可能差分和零相关线性区分器.

摘要：Twofish算法是Bruce Schneier等人设计的一个分组密码算法,它是AES计划最后一轮的5个候选算法之一.Twofish算法主要是基于ARX结构设计的,该结构包括模加操作,循环移位操作和异或操作.目前对Twofish算法的密码分析结果还比较少,主要是不可能差分分析和饱和攻击.Stefan Lucks等人首次对Twofish算法进行了饱和攻击.饱和攻击的关键是寻找好的饱和区分器.本文通过研究ARX结构的饱和性质,证明了当平衡集通过非线性变换时,ARX中关于平衡性质的三个定理,并利用常数集不改变平衡集的性质改进了Twofish算法4轮饱和区分器,与已知最好结果相比,可以多找到1比特的平衡位置.随后利用这个4轮饱和区分器将对简化轮数的Twofish算法进行了饱和攻击,时间复杂度降低一半.

摘要：不可能差分分析和零相关线性分析是目前分组密码安全性分析方法中常用的两种分析方法.针对分组密码设计中常用的一种结构——MISTY结构,研究了MISTY结构的不可能差分和零相关线性.首先,给出了MISTY结构的对偶结构,然后从密码结构的角度出发,从理论上证明了MISTY结构的结构不可能差分和结构零相关线性最长轮数均为4轮.最后,当考虑MISTY结构中轮函数的具体细节时,给出了MISTY结构存在5/6轮不可能差分和零相关线性的充分条件.所得结果不仅对设计具有MISTY结构的分组密码具有一定的指导意义,同时对分析该类密码的安全性提供了具体的研究方法.

摘要：Mysterion算法是XLS设计策略的具体实例,该算法的主要目的是改进LS设计策略,在不影响实现效率的前提下提升LS设计策略的安全性。文章采用不可能差分分析方法对Mysterion算法进行安全性分析,首先证明了Mysterion算法的结构不可能差分轮数最长为4轮,然后利用S盒的信息,突破了Mysterion的结构不可能差分上界,通过优化搜索算法得到5轮的算法不可能差分。Mysterion算法的最大不可能差分轮数比LS设计策略的代表算法Robin算法多1轮,从不可能差分的角度证明了XLS设计策略的安全性要弱于LS设计策略。

摘要：移动网络的发展催生了图书馆的移动信息服务,也促进了读者阅读方式的变化。根据图书馆实际功能与服务,设计构想基于iOS的移动图书馆客户端系统,包括"新闻信息阅读""书刊检索功能""图书借阅功能"和"个人信息设置"等主要模块的设计与实现。服务器端采用PHP语言开发,完成了内容管理、统计管理、用户管理和系统管理等模块的设计。

摘要：基于国内外场所理论,总结城市街道空间的适用性,分析城市街道中需要营造场所感的街道类型,提出场所水平与场所公平两个街道评价维度;在归纳街道存在的场所性不足、需求供给错位等各类问题,研究国内外街道设计实践中对于提升街道场所感行之有效的改造方法与技术手段的基础上,提出适用于我国的一般性设计方法与评价思路,并将其应用于正在编制的团体标准《街道设计指南》中。期待通过《指南》的编制、发布与实施,唤起全社会对于场所感街道的重视,推进街道场所营造的各种实施改造、城市政策与社会行动。

摘要：目前资源受限环境的应用场景越来越多,该场景下的数据加密需求也随之增加。以国际标准PRESENT算法为代表的一大批轻量级分组密码应运而生。PFP算法是一种基于Feistel结构的超轻量级分组密码算法,它的轮函数设计借鉴了国际标准PRESENT算法的设计思想。PFP算法的分组长度为64比特,密钥长度为80比特,迭代轮数为34轮。针对PFP算法,研究了其抵抗不可能差分分析的能力。在该算法的设计文档中,设计者利用5轮不可能差分区分器攻击6轮的PFP算法,能够恢复32比特的种子密钥。与该结果相比,文中通过研究轮函数的具体设计细节,利用S盒的差分性质构造出7轮不可能差分区分器,并攻击9轮的PFP算法,能够恢复36比特的种子密钥。该结果无论在攻击轮数还是恢复的密钥量方面,均优于已有结果,是目前PFP算法最好的不可能差分分析结果。

摘要：作为最重要的城市系统之一,城市街道在气候变化的背景下面临着巨大挑战.传统发展模式无法支撑其作为交通运输、社会交往、经济活动、生态廊道等复合功能的要求.提出“可持续街道”的概念,通过构建评价体系来发现问题并为街道改造提供支撑.采用系统文献综述的方法,通过对建成环境中的“可持续”和“城市街道”这两个概念的梳理来建立“可持续街道”的理论基础.引入“可持续评估”的机制,包括对现有可持续评估体系的研究,以及对可持续评估方法的整理.最终构建“可持续街道评价体系”的框架:包括1份由3个子目标和15个评价标准组成的理论框架,以及1套可以扩展应用的实践框架.以期推动“可持续”和“城市街道”的理论发展,同时也为可持续街道的实践应用提供基础.

摘要：文章基于国内外文献中关于开放街区的观点综述,从管理者、产权方、运营方、使用者等视角分析推动开放街区的经济、社会与文化意义,并从尺度与功能、更新类与新建类、公共性街区与住宅街区等方面切入,分析开放街区的多元类型、特征与不同类型的差异性,阐述推动实施街区制的核心挑战。在简要回顾上海街区演进历程基础上,文章重点介绍了近些年上海所开展的街道设计与社区生活圈规划实践,总结相关导则、标准、指南等技术成果中的核心要求,并对已实施项目展开评述。街区制的实施,有赖于规划设计—建设实施—运维管理—评估反馈的机制构建,有赖于配套政策法规完善、技术标准修订,以及开放共享的社会共识与实施行动。文章希望通过上海实践经验的总结,为全国推动实施街区制提供参考。