BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.     

关于《常用工具软件》教学的初探

本文对中职学校《常用工具软件》课程的教学方法进行了研究,并提出了一些在实践中的教学经验及意见。     

吐哈盆地哈密坳陷逆断层活动性及演化

在构造解释及断层受力机制分析的基础上,根据逆断层两盘剥蚀与沉积的关系,将哈密坳陷逆断层活动的地质模型归纳为单向逆冲型、逆冲生长型和基底抬升型,并提出针对这3种类型逆断层活动量的计算方法,对主要断层在印支期、燕山期和喜山期的活动强度进行研究。结果表明:火石镇凹陷内的断层在印支期活动最为强烈,燕山期断层活动变弱,喜山期只有南部边界断层活动增强;三堡凹陷内的断层在印支期开始活动,燕山期断层活动最为强烈,喜山期断层基本停止活动;断层活动的差异性直接影响着各凹陷构造格局的形成与演化,火石镇凹陷构造格局早在印支运动就基本定型,而三堡凹陷的构造格局在晚燕山运动后才最终定型。