摘要：针对以Tor为代表的匿名通信系统在时延和下载时间方面的用户体验不够理想的问题,利用新一代软件定义网络带来的优势,面向接收方不可追踪,设计了新的匿名解决方案。提出使用SDN域内淆乱的方法,构建基于Tor和SDN的混合匿名通道,提供发送方和接收方匿名,拓展了Tor匿名通道的纵深,有效降低了攻击者对匿名路径的追踪率。实验结果表明,相比Tor,所提方案在增加15%时延的代价下,可提供相当于2条Tor电路的抗追踪能力。

摘要：考虑到RFID系统中日益突出的隐私问题,分析比较了国内外众多文献,讨论了RFID系统可能存在的攻击并定义了其隐私保护需求,回顾了已有的各种RFID隐私保护技术,尤其是基于密码技术的RFID隐私保护协议,其按认证标签的时间复杂度又可分为3类:线性时间、对数级时间和常数级时间复杂度.随后从符号操作方法和计算复杂性方法 2个大类出发,重点比较了多个RFID隐私保护模型,其中计算复杂性方法又可细分为基于不可区分性和基于不可预测性2类.研究表明:在设计协议时还需要在隐私性和成本之间做好平衡,同时急需一个统一的被广泛接受的隐私保护模型作为评价RFID隐私保护性的通用标准.

摘要：互联网体系架构正面临着严峻的安全和管理挑战,迫切需要具备可信性和可控性特征的新架构.已有的网络体系结构要么是基于边缘论和面向非连接的设计思想,导致分组传输路径不可控,要么是重新设计现有网络的体系架构,代价巨大.文中提出了一种可信可控的网络体系结构,其特征是在现有网络体系架构的基础上增加一个可信可控4层逻辑结构,从而实现网络组元及用户行为的可预期、可管理,它包括决策层、观测层、资源层和可信接口层4个层次;在明确新网络体系结构中网络控制对象为逻辑流的前提下,给出了一种包含感知与监测、理解与检测、判断与决策和控制及可达4个功能环节的闭环自反馈控制方法,确保网络系统可自诊断、自恢复地回归稳定态.同时指出具备跨层交互能力的可信接口层是新体系实现可信可控的关键,继而给出了位于该层的可信可控协议模型,并定义了确保协议执行可预期的协议基本功能;指出了逻辑流中信任流是协议的主要控制对象,并基于新体系结构下网络控制方法,通过融合信任管理和不可否认服务的方式给出了协议可信的控制方法.为验证协议模型和控制方法的有效性,给出了协议的具体实施方案,包括协议基本要素和协议两阶段执行过程.最后,给出了新体系与现有技术相比较所具备的优势,并对下一步工作进行了展望.

摘要：以高三化学二轮复习为载体，在一轮复习的基础上，调查分析了学生的化学认知水平和学习需求，开发设计了“化学基础提升”、“元素化合物拓展”、“反应原理集粹”和“综合实验演练”4个专题模块，组织学生以“分层一分类”选课走班的形式进行针对性复习，既尊重了学生的个体差异，促进了教师个人的专业发展和教研团队的建设，也为新型复习策略的设计提供了参考和借鉴。

摘要：水资源的人为污染日趋严重.植被过滤带被认为是降低水体污染、特别是非点源污染的最佳措施之一.植被过滤带是位于污染源和水体之间的带状植被区域,其可以使地表径流中的污染物被沉降、过滤、稀释、下渗和吸收.本文综述了植被过滤带的发展历史、结构、污染控制机理和在实际应用当中的设计、经营管理及效益等方面的研究进展.我国对植被过滤带的研究还处于初始阶段,试验或应用结果都很少,因此,需要扩展和加深这方面的研究,取得相关的试验数据,以使这一生态技术更有效地在我国推广和应用.

摘要：提出了基于半马尔可夫过程(SMP)的拓扑容侵定量评估模型。因节点计算、存储能力等限制,在入侵结果统一层面上建模,简化了模型设计。利用内嵌DTMC求解出拓扑可用性、稳定性和服务率指标,提出贝叶斯网络指标推理方法,提高了容侵能力评估的准确性。分析了模型对参数的敏感性,通过实例剖析和比较,验证了拓扑容侵定量评估模型的有效性。

摘要：针对纠删编码和门限方案在分布式存储中的应用,提出门限Byzantine quorum系统(TBQS)的概念.该系统与数据分离算法相结合,可以构造可靠性较强的存储系统,当故障服务器个数不超过服务器总数的1/4时,利用TBQS设计存储策略可以实现容错和无间断服务.讨论了TBQS的存在性,构造了两类TBQS并对其效率进行分析,在此基础上设计了基于TBQS的分布式读写协议.

摘要：研究以高二化学选考生为例,借助微视频技术,采用PTA量表法,从问题与假设、优选与设计、操作与实践、分析与推理、表达与交流等要素,探查学生“科学探究与创新意识”素养的现状。结果发现,学生在该素养上的整体表现处于中等水平,假设表述不够科学,用品选择、方案设计的创新性有待提升,实验操作不够严谨,推理、结论能力还可加强,多种表达方式的整合设计不够完美。

摘要：现有的跨链交易方案缺乏对跨链合谋问题的考虑。为此,提出防合谋跨链通道,实现可扩展的防合谋跨链交易。首先,提出跨多中继链通道建立方法,为任意业务链用户创建包含跨链交易双方和中继链观察者的链下通道,实现隐私保护的可扩展跨链交易。其次,设计基于博弈激励的防合谋跨链交易协议,刺激合谋者之间的不信任以防止跨链通道用户合谋,保障跨链交易的安全性。最后,提出基于通道状态证明的分层可验证跨链共识方法,实现安全跨链结算。对引发的参与方博弈进行了形式化分析,证明在合理假设下,所提方案保证不合谋是通道用户的主导策略。通过实验表明,所提方案在防范跨链用户合谋的同时实现了高跨链吞吐率,与传统中继跨链方案相比具备可扩展性。

摘要：保护网络空间隐私的愿望推动了匿名通信系统的研究,使得用户可以在使用互联网服务时隐藏身份和通信关系等敏感信息,不同的匿名通信系统提供不同强度的匿名保护.如何量化和比较这些系统提供的匿名程度,从开始就是重要的研究主题,如今愈发得到更多关注,成为新的研究焦点,需要开展更多的研究和应用.匿名度量可以帮助用户了解匿名通信系统提供的保护级别,帮助开发者在设计和改进匿名通信系统时提供客观和科学的依据.给出了匿名度量研究的通用框架,包含匿名通信、匿名攻击和匿名度量这3部分及其相互关系.综述了匿名度量领域的研究工作,寻找其发展脉络和特点,按时间线回顾和归纳基于多种理论和方法的匿名度量标准,结合匿名通信攻击技术,对典型的度量方法各自的特点和相互关系进行梳理和比较,介绍度量研究新的进展,展望研究的下一步方向和发展趋势.分析表明,匿名度量有助于判断匿名通信系统是否提供了所承诺的匿名性.用于表达匿名程度的度量标准越来越多样,基于信息论的度量方法应用最为广泛,随着Tor等匿名通信系统的大规模部署,出现了基于统计数据针对真实系统和基础设施进行的匿名性评估.随着匿名技术的进一步发展,如何扩展度量标准应用于新出现的匿名技术、如何组合度量标准以适用于新的匿名系统,都是有应用前景的研究方向.