Otway Rees协议的安全分析

互联网的迅速发展引起人们对协议安全性的关注,现在国际上流行安全协议的分析方法集中在形式化验证方面,其中BAN逻辑是一种方法。本文通过使用BAN逻辑证明O tway Rees协议的安全性,同时也得出BAN逻辑在证明协议安全性方面的一些缺陷。

澳大利亚Otway盆地二氧化碳地质封存示范工程

澳大利亚Otway盆地二氧化碳地质封存示范工程是澳大利亚第一个完整的从源到汇的碳封存研究项目,也是碳封存领导论坛(CSLF)和国际能源总署(IEA)认可的二氧化碳地质封存国际合作项目,是由澳大利亚CO2CRC牵头开展相关研究。项目封存场地位于澳大利亚维多利亚州的Otway盆地,分两个阶段进行。第一阶段,2004～2010年开展衰竭气田的二氧化碳地质封存研究,已向位于地下深处2000m的晚白垩系Waarre C粗砂岩地层灌注二氧化碳混合气体65000多吨,并成功实现构造圈闭封存,同时开展了地下水、土壤气体、大气、地球化学、地球物理等综合监测;第二阶段,2010～2015年开展地下咸水层封存二氧化碳的研究,将向位于地下1500m深处的晚白垩系Paaratte细砂岩咸水含水层注入10000t二氧化碳,实现二氧化碳毛细滞留圈闭封存,目前正在开展前期抽注试验。

针对Otway-Rees密钥交换协议的Man-in-the-Middle攻击分析与防范

从Otway-Ress密钥交换协议规范性基础上分析该协议中可信任的服务器S创建密钥K_(ab)分布到两个委托对象A和B消息传递模式,并通过man-in-the-middle攻击原理阐述的基础,分析Otway-Rees密钥交换协议密存在漏洞可能性,以及针对漏洞攻击形式及变种形式,从设计水平的两个方面采取了防范攻击的措施。

Otway-Rees协议并行攻击的SG逻辑分析

网络信息安全很大程度上取决于密码协议的安全,重放攻击和并行攻击是对密码协议的常见攻击,能够分析并行攻击的形式化分析方法并不多见。该文介绍了一种分析密码协议并行攻击和重放攻击的逻辑方法——SG逻辑,应用它对改进版的Otway-Rees协议进行了分析,找出了BAN类逻辑所不能分析出来的缺陷,针对该缺陷给出了协议的进一步改进,并推证了改进后的协议对SG逻辑的分析是安全的。

改进型Otway-Rees协议的串空间模型分析

本文在介绍了串空间模型的基本概念和定理的基础上,提出了改进型的Otway-Rees认证协议,然后利用串空间模型的理论和方法,从机密性和可鉴别性两个方面对改进型Otway-Rees协议进行了分析,分析结果表明该改进型协议是安全的。

澳大利亚Otway盆地白垩纪介形类化石的发现及其意义(英文)

一个白晚垩世的介形类化石组合首次被发现在 Otway盆地的钻孔中。化石产于 Eum eralla组的灰色砂泥岩中。 Eum eralla组是依据孢粉材料而确定其时代为早白垩世 ,即相当于 Barrem ain- Albian阶。介形类化石包括 10属 :Cytherelloidea sp.1,Bairdia cf.austracretacea Bate,B?sp.juv.?,Eucythere?sp.,Cydocypris sp.,Darwinulacf.contracta Mandelstam,D.?sp.1,Cyprois sp.,Talicypridea sp.,Zigiphocypris sp.,Eacyprissp.及 Candonasp.。它们代表一个中、新生代混生的面貌 ;其时代应为晚白垩世。依据生态的差异 ,介形类化石又可分为两个不同的组合 :海陆混合相和淡水—半咸水相。前者包括 Cytherelloidea和 Bairdia见于 Crayfish1A钻孔中 ,而后者 Dar-winula,Ziziphocypris和 Cyclocypris产于 Penola1和 Katnook2钻孔中。海相属 Cytherelloidea和 Bairdia发现在5 40 .4- 5 43.1m(Eumeralla组井深 195 7- 477m在 Crayfish 1A钻孔中 ) ,代表着 Eum eralla组上部发生的一个晚白垩世海侵。

澳大利亚南缘Otway盆地油气地质特征

以石油地质理论为基础,利用区域地质、地震以及钻井资料,对澳大利亚南缘Otway盆地的石油地质特征进行综合分析。研究表明,盆地经历了早期裂谷、晚期裂谷和裂后被动大陆边缘3个演化阶段,发育2套证实的生储盖组合,第1套下白垩统河流—湖泊相Crayfish生储盖组合主要分布在北部的陆内裂谷带,油气发现集中在Penola坳陷;第2套下白垩统三角洲—滨岸相Shipwreck生储盖组合主要分布在南部的边缘海裂谷带,油气发现集中在Mussel地台和Shipwreck凹陷,已发现油气绝大部分来自该套生储盖组合。

CCS Research Development and Deployment in a Clean Energy Future： Lessons from Australia over the Past Two Decades

碳捕集和封存(CCS)技术作为一种碳减排手段,虽未得到全方位认可,但其重要性已得到人们的广泛认可。但是,若要将全球温度上升幅度控制在低于2℃,则此技术的推广应用速度并不能满足相关的需求。虽然大规模推广CCS技术所面临的困难尚无法全部克服,但通过不断的研究、交流和规划,目前CCS技术已得到了极大丰富。我们知道如何进行相关操作,并自信能安全有效地完成相关操作;我们知道相关的成本情况,也知道目前成本正在不断降低,而且未来会继续降低。同时,我们也知道,只要各个国家、公司、团体继续将化石燃料用作能源及用于各种工业过程,则世界就会一直需要碳捕集和封存技术。我们缺少的是必要的政策驱动和技术上呈中性(不会增加二氧化碳排放)的方法,以达到及时、低成本地降低CO_2排放,并维持稳定的、安全的电力供应以保证能源密集型工业产品的生产和使用。我们以澳大利亚为例来说明过去20年内人们对碳捕集和封存技术所做的各种努力,尤其是在碳捕集和封存技术研究和示范工程以及国际合作方面所做的各种努力。在澳大利亚国内,碳捕集和封存技术的大规模推广进展非常慢。但全球最大的碳捕集和封存项目将作为Gorgon液化天然气项目的一部分,很快在澳大利亚国内投入运营,另外还有数个大规模的碳捕集和封存的旗舰级项目正在考察中。CO2CRC Otway项目是澳大利亚国内目前唯一一个运行中的二氧化碳封存项目。该项目目前正在进行一些细节方面的组织和推进工作。需要指出的是,如果要推广Otway项目,还需对地下岩石对封存CO_2的影响开展大量研究。如果要在全球范围广泛使用碳捕集和封存技术,国际能源机构和国际气候变化委员会等机构都认为我们面临很大的挑战,还有很多重大问题需要解决。要解决这些问题,全球各方必须紧密协作。