认证协议安全：缺陷与分析

认证协议设计和实现的安全性分析是网络安全的重要课题，在攻击和防范的实践中认证协议分析技术发展迅速。本文将系统讨论认证协议存在的各种安全缺陷和威胁，归纳认证协议的安全目标，介绍并评价各种协议分析技术的发展。     

若干认证协议的安全问题

介绍了安全认证协议研究中经典的安全问题。指出了文献[1]中两个协议的安全漏洞。     

中国自然保护地规划的回顾与对比研究

中国自然保护地历经60余年的发展,形成了多部门主导、保护类型多样的自然保护地体系。面对机构改革和以国家公园为主体的自然保护地体系建立的契机,传统规划的经验积累为新规划体系的构建提供了借鉴的可能。通过回溯机构改革前各类自然保护地规划,对比分析其规划结构体系,并从人地关系视角切入,分析各类规划针对保护对象、保护利用强度,以及社会发展调控上的差异,总结各类自然保护地规划的既有经验,为新时期规划体系的重构提供支撑。     

基于动态一致性算法的微电网无功功率分布式二级控制策略

微电网在孤岛模式运行时,由于线路存在阻抗效应,传统下垂控制无法精准分配输出的无功功率,而且通讯网络复杂,容易造成系统崩溃。文章提出了一种基于动态一致性算法的无功功率分布式二级控制策略,通过设计二级控制规律,将下垂控制和分布式二级控制相结合,在本地下垂控制器中,引入比例-积分控制器,对下垂特性曲线的参考电压进行自适应调节,实现了无功功率与线路阻抗和下垂系数的解耦;通过动态一致性算法实现分布式控制,构建稀疏的通信网络,由本地控制器进行自身决策。仿真分析及结果验证,当负荷突变和通信故障时,与离散平均一致性的分布式控制策略相比,文章所提策略有较好的动态性能。     

一种类BAN逻辑的分析和改进

ＢＡＮ作为对认证协议形式化分析的逻辑,在获得巨大的声望的同时也受到诸多抨击。如对秘密性要求的形式化表示,以及将协议格式改写为ＢＡＮ可分为格式时的困难。其中一个例子就是对Ｎｅｓｓｅｔｔ协议的分析。为解决这些问题,ＷｅｎＢｏ Ｍａｏ,ＣｏｌｉｎＢＯｙｄ于１９９３年提出了一个新的逻辑（ＭＢ９３）。该文将介绍这两个逻辑,并构造一个简单协议来指出ＭＢ９３逻辑在分析Ｎｅｓｓｅｔｔ协议及类似公钥体制的认证协议时     

陵邑村落空间生长机理及其保护策略--以北京郊区长陵村及景陵村为例

以位于北京十三陵景区的长陵村和景陵村为例,剖析陵邑村落空间生长机理和发展脉络,揭示村落发展与遗产保护的现实困境,并提出陵邑村落的遗产活化与保护策略。