基于预共享密钥的LAN安全关联方案改进与分析

针对基于预共享密钥的有线局域网（LAN）安全关联方案中交换密钥建立过程的通信浪费问题,提出了一种改进的LAN安全关联方案。该方案通过对基于预共享密钥的鉴别及单播密钥协商过程的改进,生成了新加入交换机和认证服务器之间的成对主密钥,并用于新加入交换机与各个不相邻交换机之间的交换密钥协商过程。然后,在该方案基础上提出了一种可信计算环境下的LAN安全关联方案。该方案在改进的基于预共享密钥的鉴别及单播密钥协商过程中进一步增加对终端设备的平台认证,从而实现终端设备的可信网络接入,有效增强了LAN的安全性。最后,利用串空间模型（SSM）证明了这两个LAN安全关联方案是安全的。性能对比分析结果表明,该方案有效减少了交换密钥建立过程的消息交互数和计算量。     

锚索波纹管与环氧涂层钢绞线组装件粘结性能的试验研究

预应力锚索钢绞线及波纹管组装件的锚固性能是影响锚索可靠性的重要参数,本文通过对多根环氧涂层钢绞线波纹管组装件和多根光面钢绞线波纹管组装件进行了粘结性能的对比试验研究,研究表明单丝环氧涂层钢绞线与水泥砂浆的平均粘结强度与光面钢绞线基本一致,锚索波纹管组装件的平均粘结强度小于6.2MPa时,锚索不会发生拔出破坏。     

美国木材产品

木材是一种极其多功能性的自然建筑材料。木纤维既能作为原始木材使用，也能被并重新使用到大型结构的一部分中。在建筑构造中对木产品也有大量的运用，它既用在梁、托梁和柱等主要结构单元上，也用在罩子和地板等次要结构元素上。本文即是对美国木材产品在建筑中应用情况的一个较为全面的介绍。     

地震区简支梁桥防落梁装置的设计

文中指出了对地震活动区域的简支梁桥设置防落梁装置的重要性,并介绍了防落梁装置的主要应用型式及其特点、选择方法和注意事项,同时阐述了常用型式—拉索式防落梁装置的设计步骤、具体构造及其在我国的工程应用实例。防落梁装置的设置将为我国桥梁结构在强烈地震作用下的安全提供可靠的保障。     

工地试验室测试钢绞线力学性能的方法探究

工地试验室在原材料性能检测中,往往由于检测设备、场地比较简易,有些材料力学性能的定量指标很难控制,是检测质量控制的一个薄弱点.本文通过对钢绞线力学性能试验在工地试验室的实际应用,分析和探索钢绞线规定非比例延伸力、最大力总伸长率等参数的试验方法、步骤及其原理.     

连铸工艺参数对45#、70#钢铸坯冶金效果影响的探讨

通过对45#、70#钢铸坯低倍组织情况的分析以及连铸工艺参数的总结，探讨出钢水过热度、拉速、塞棒自动控制、二冷配水及电磁搅拌等连铸工艺参数对铸坯低倍组织的影响。通过对45#、70#钢中心碳偏析分析，表明随着钢中碳含量升高，连铸拉速、钢水过热度的增加，铸坯中心碳偏析有增大趋势。     

Analysis of security protocols based on challenge-response

Security protocol is specified as the procedure of challenge-response, which uses applied cryptography to confirm the existence of other principals and fulfill some data negotiation such as session keys. Most of the existing analysis methods, which either adopt theorem proving techniques such as state exploration or logic reasoning techniques such as authentication logic, face the conflicts between analysis power and operability. To solve the problem, a new efficient method is proposed that provides SSM semantics-based definition of secrecy and authenti- cation goals and applies authentication logic as fundamental analysis techniques, in which secrecy analysis is split into two parts: Explicit-Information-Leakage and Implicit-Information-Leakage, and correspondence analysis is concluded as the analysis of the existence relationship of Strands and the agreement of Strand parameters. This new method owns both the power of the Strand Space Model and concision of authentication logic.     

NSSK协议的串空间模型及分析

本文介绍了串空间模型中的基本概念和定理,并首次利用串空间理论,从机密性和认证性两个方面,对改进的NSSK协议进行了分析.分析结果表明改进的NSSK协议是安全的.     

用于安全协议分析的一种新的状态剪枝方法

Strand空间模型是利用图的形式来描述和分析安全协议的。通过对该模型的研究,总结了已有的状态空间简化技术;研究了如何将认证测试理论应用于安全协议分析中,根据认证测试理论我们得出了一个剪枝定理。研究表明该剪枝定理能够大大减少协议分析中的冗余状态,提高了协议分析的效率。