期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
Otway Rees协议的安全分析 被引量:1
1
作者 曾子维 李鹏 孙学波 《计算机应用与软件》 CSCD 北大核心 2006年第2期122-124,共3页
互联网的迅速发展引起人们对协议安全性的关注,现在国际上流行安全协议的分析方法集中在形式化验证方面,其中BAN逻辑是一种方法。本文通过使用BAN逻辑证明O tway Rees协议的安全性,同时也得出BAN逻辑在证明协议安全性方面的一些缺陷。
关键词 安全协议 BAN逻辑 otway Rees协议 安全分析 逻辑证明 形式化验证 安全性 互联网
下载PDF
澳大利亚Otway盆地二氧化碳地质封存示范工程 被引量:9
2
作者 张二勇 《水文地质工程地质》 CAS CSCD 北大核心 2012年第2期131-137,共7页
澳大利亚Otway盆地二氧化碳地质封存示范工程是澳大利亚第一个完整的从源到汇的碳封存研究项目,也是碳封存领导论坛(CSLF)和国际能源总署(IEA)认可的二氧化碳地质封存国际合作项目,是由澳大利亚CO2CRC牵头开展相关研究。项目封存场地位... 澳大利亚Otway盆地二氧化碳地质封存示范工程是澳大利亚第一个完整的从源到汇的碳封存研究项目,也是碳封存领导论坛(CSLF)和国际能源总署(IEA)认可的二氧化碳地质封存国际合作项目,是由澳大利亚CO2CRC牵头开展相关研究。项目封存场地位于澳大利亚维多利亚州的Otway盆地,分两个阶段进行。第一阶段,2004~2010年开展衰竭气田的二氧化碳地质封存研究,已向位于地下深处2000m的晚白垩系Waarre C粗砂岩地层灌注二氧化碳混合气体65000多吨,并成功实现构造圈闭封存,同时开展了地下水、土壤气体、大气、地球化学、地球物理等综合监测;第二阶段,2010~2015年开展地下咸水层封存二氧化碳的研究,将向位于地下1500m深处的晚白垩系Paaratte细砂岩咸水含水层注入10000t二氧化碳,实现二氧化碳毛细滞留圈闭封存,目前正在开展前期抽注试验。 展开更多
关键词 otway盆地 衰竭气田 地下咸水层 二氧化碳地质封存
下载PDF
针对Otway-Rees密钥交换协议的Man-in-the-Middle攻击分析与防范
3
作者 李新中 马俊 《焦作师范高等专科学校学报》 2007年第4期68-69,共2页
从Otway-Ress密钥交换协议规范性基础上分析该协议中可信任的服务器S创建密钥K_(ab)分布到两个委托对象A和B消息传递模式,并通过man-in-the-middle攻击原理阐述的基础,分析Otway-Rees密钥交换协议密存在漏洞可能性,以及针对漏洞攻击形... 从Otway-Ress密钥交换协议规范性基础上分析该协议中可信任的服务器S创建密钥K_(ab)分布到两个委托对象A和B消息传递模式,并通过man-in-the-middle攻击原理阐述的基础,分析Otway-Rees密钥交换协议密存在漏洞可能性,以及针对漏洞攻击形式及变种形式,从设计水平的两个方面采取了防范攻击的措施。 展开更多
关键词 otway—Rees 会话密钥 攻击
下载PDF
Otway-Rees协议并行攻击的SG逻辑分析 被引量:1
4
作者 王小锐 陈连俊 +1 位作者 季庆光 曹正君 《计算机工程》 CAS CSCD 北大核心 2007年第6期126-128,共3页
网络信息安全很大程度上取决于密码协议的安全,重放攻击和并行攻击是对密码协议的常见攻击,能够分析并行攻击的形式化分析方法并不多见。该文介绍了一种分析密码协议并行攻击和重放攻击的逻辑方法——SG逻辑,应用它对改进版的Otway-Ree... 网络信息安全很大程度上取决于密码协议的安全,重放攻击和并行攻击是对密码协议的常见攻击,能够分析并行攻击的形式化分析方法并不多见。该文介绍了一种分析密码协议并行攻击和重放攻击的逻辑方法——SG逻辑,应用它对改进版的Otway-Rees协议进行了分析,找出了BAN类逻辑所不能分析出来的缺陷,针对该缺陷给出了协议的进一步改进,并推证了改进后的协议对SG逻辑的分析是安全的。 展开更多
关键词 SG逻辑 并行攻击 otway—Rees协议 安全性分析
下载PDF
改进型Otway-Rees协议的串空间模型分析 被引量:1
5
作者 赵自强 胡国彪 张玉中 《科技风》 2011年第6期70-71,共2页
本文在介绍了串空间模型的基本概念和定理的基础上,提出了改进型的Otway-Rees认证协议,然后利用串空间模型的理论和方法,从机密性和可鉴别性两个方面对改进型Otway-Rees协议进行了分析,分析结果表明该改进型协议是安全的。
关键词 安全协议 otway—Rees协议 串空间
下载PDF
澳大利亚Otway盆地白垩纪介形类化石的发现及其意义(英文) 被引量:3
6
作者 包金松 《微体古生物学报》 CSCD 北大核心 2002年第1期1-14,共14页
一个白晚垩世的介形类化石组合首次被发现在 Otway盆地的钻孔中。化石产于 Eum eralla组的灰色砂泥岩中。 Eum eralla组是依据孢粉材料而确定其时代为早白垩世 ,即相当于 Barrem ain- Albian阶。介形类化石包括 10属 :Cytherelloidea sp... 一个白晚垩世的介形类化石组合首次被发现在 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组上部发生的一个晚白垩世海侵。 展开更多
关键词 介形类 Eumeralla组 晚白垩世 otway盆地 澳大利亚 化石
下载PDF
澳大利亚南缘Otway盆地油气地质特征 被引量:1
7
作者 范春花 蔡文杰 《特种油气藏》 CAS CSCD 北大核心 2013年第3期56-59,153,共4页
以石油地质理论为基础,利用区域地质、地震以及钻井资料,对澳大利亚南缘Otway盆地的石油地质特征进行综合分析。研究表明,盆地经历了早期裂谷、晚期裂谷和裂后被动大陆边缘3个演化阶段,发育2套证实的生储盖组合,第1套下白垩统河流—湖泊... 以石油地质理论为基础,利用区域地质、地震以及钻井资料,对澳大利亚南缘Otway盆地的石油地质特征进行综合分析。研究表明,盆地经历了早期裂谷、晚期裂谷和裂后被动大陆边缘3个演化阶段,发育2套证实的生储盖组合,第1套下白垩统河流—湖泊相Crayfish生储盖组合主要分布在北部的陆内裂谷带,油气发现集中在Penola坳陷;第2套下白垩统三角洲—滨岸相Shipwreck生储盖组合主要分布在南部的边缘海裂谷带,油气发现集中在Mussel地台和Shipwreck凹陷,已发现油气绝大部分来自该套生储盖组合。 展开更多
关键词 石油地质 构造-沉积演化 烃源岩 储盖组合 otway盆地 澳大利亚
下载PDF
CCS Research Development and Deployment in a Clean Energy Future: Lessons from Australia over the Past Two Decades 被引量:4
8
作者 Peter J. Cook 《Engineering》 SCIE EI 2017年第4期477-484,共8页
There is widespread, though by no means universal, recognition of the importance of carbon capture and storage (CCS) as a carbon mitigation technology. However, the rate of deployment does not match what is required... There is widespread, though by no means universal, recognition of the importance of carbon capture and storage (CCS) as a carbon mitigation technology. However, the rate of deployment does not match what is required for global temperatures to stay well below 2℃. Although some consider the hurdles to achieving the widespread application of CCS to he almost insurmountable, a more optimistic view is that a great deal is now known about CCS through research, demonstration, and deployment. We know how to do it; we are confident it can be done safely and effectively; we know what it costs; and we know that costs are decreasing and will continue to do so. We also know that the world will need CCS as long as countries, companies, and communities continue to use fossil fuels for energy and industrial processes. What is lacking are the necessary policy drivers, along with a technology-neutral approach to decrease carbon emissions in a cost-effective and timely manner while retaining the undoubted benefits of ready access to reliable and secure electricity and energy-intensive industrial products. In this paper, Australia is used as an example of what has been undertaken in CCS over the past 20 years, particularly in research and demonstration, hut also in international collaboration. Progress in the large-scale deployment of CCS in Australia has been too slow. However, the world's largest storage project will soon be operational in Australia as part of the Gorgon liquefied natural gas (LNG) project, and investigations are underway into several large-scale CCS Flagship program opportunities. The organization and progress of the Cooperative Research Centre for Greenhouse Gas Technologies (CO2CRC) Otway Project, which is currently Australia's only operational storage project, is discussed in some detail because of its relevance to the commercial deployment of CCS. The point is made that there is scope for building on this Otway activity to investigate more broadly (through the proposed Otway Stage 3 and Deep Earth Energy and Environment Programme (AusDEEP)) the role of the subsurface in carbon reduction. There are challenges ahead if CCS is to he deployed as widely as bodies such as the International Energy Agency (IEA) and the Intergovernmental Panel on Climate Change (IPCC) consider to be necessary. Closer international collaboration in CCS will be essential to meeting that challenge. 展开更多
关键词 Carbon dioxide Carbon capture and storage otway Australia
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部