切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Cryptographic protocol security analysis based on bounded constructing algorithm
Cryptographic protocol security analysis based on bounded constructing algorithm
来源 :黑龙江科技学院学报 | 被引量 : 0次 | 上传用户:ESC_liangzi
【摘 要】
:
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
【作 者】
:
LI Xianxian
HUAI Jinpeng
【机 构】
:
School of Computer, Beihang University, Beijing 100083, China
【出 处】
:
黑龙江科技学院学报
【发表日期】
:
2006年1期
【关键词】
:
cryptographic protocol
formal analysis
security verification
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7<
其他文献
最佳证据规则下的电子数据原件问题研究
电子数据已被修改后的《民事诉讼法》与《刑事诉讼法》正式纳入法定证据种类中,而关于电子数据的证据规则仍亟待完善。电子数据在作为证据使用时是否必须为原件在学界争论较大
期刊
最佳证据规则
原件形式
可采性
电子认证
Growth of strain-compensated InGaAs/GaAsP multiple quantum wells by MOVPE
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
multiple quantum wells
strain compensation
misfit dislocation
room temperature
e
1:100万大连幅海洋区域地质调查
“1:100万大连幅海洋区域地质调查”项目是“海洋地质保障工程”2008年首批启动的工作项目之一.该项目运用当今地学新技术、新理论和新方法,开展了海底底质取样、地质钻探、
期刊
大菱鲆循环水工厂化生态育苗技术
大菱鲆是一种国外的名贵鱼类,原产于欧洲.黄海水产研究所于1992年引入我国,1999年首次在山东育苗成功.大菱鲆是一种低水温生活的鱼类,生长迅速,成活率高,非常适合北方进行工
期刊
大菱鲆
循环水
工厂化
生态
育苗技术
中国古代画论中的色彩运用方法
中国传统色彩蕴含丰厚的民族性格特征,中国传统绘画称色彩为丹青,以色彩名称为绘画命名,可见对色彩的重视。色彩从较单一彩陶上的赤红色到壁画中的朱、绿、赤、黄等色,再发展
期刊
中国
古代画论
色彩运用方法
丹青
Fertilization in Torenia fournieri: actin organization and nuclear behavior in the central cell and
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
actin
embryo sac
central cell
Torenia
生态区评价--香山科学会议第161次学术讨论会
区域可持续发展是各国、各地区的行政管理者、科技专家和当地民众所共同关心的具有时代意义的问题,也是若干学科领域研究的前沿.寻求人类开发利用自然资源既可满足当代人的需
期刊
生态区
评价
香山科学会议
区域可持续发展
行政管理者
自然资源
学科领域
科技专家
开发利用
类发展
后代人
当代人
损害
时代
前沿
民众
地区
2015年中国五大课题
据香港《南华早报》网站1月4日文章,中国执政党发誓要“打虎拍蝇”,去年在打击腐败高官方面付出了巨大的精力.还会有多少“老虎”被抓以及反腐力度是会加大还是减小,将成为观
期刊
聚联乙炔囊泡负载的Bola型两亲分子识别三聚氰胺过程中Chaotrope促进型显色机制及热力学
用聚联乙炔囊泡为载体,将bola型两亲分子1,12-二乳清酸十二胺盐(DDO)对三聚氰胺的分子识别作用用肉眼可见的颜色变化显示出来.通过比较不同碳链长度的聚联乙炔囊泡对分子识别
期刊
分子识别
三聚氰胺
水结构破坏剂
聚联乙炔囊泡
差示扫描量热
吴文英與史宅之關係考論
夢窗詞歷來被公認爲晦澀難懂,可以肯定,作者生平史料的極度匱乏是制約其詞意解索的一個因素.而從考索作者交游的方法來間接獲取與其有關的一些資料,必將有助於緩解夢窗詞研究
期刊
作者生平
作者交游
梳理
史料
方法
与本文相关的学术论文