期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于Strand Space模型的CCITT X.509协议分析
被引量：
4
1
作者
蒋睿
李建华
潘理
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2004年第z1期169-173,共5页
运用前沿的安全协议形式化分析方法——StrandSpace模型理论,对CCITTX.509协议进行了分析,指出了该协议在保密性和认证正确性方面的缺陷,得到了BAN逻辑分析没有得到的保密性缺陷和相同的认证正确性缺陷.同时提出了改进的X.509协议,并用S...
运用前沿的安全协议形式化分析方法——StrandSpace模型理论,对CCITTX.509协议进行了分析,指出了该协议在保密性和认证正确性方面的缺陷,得到了BAN逻辑分析没有得到的保密性缺陷和相同的认证正确性缺陷.同时提出了改进的X.509协议,并用StrandSpace模型论证了改进协议的保密性和认证正确性.
展开更多
关键词
STRAND
space模型
安全协议
形式化方法
CCITT
X.509
在线阅读
下载PDF
职称材料
红松中幼混交林的动态预测(Ⅰ)──裸地栽植红松的动态模拟
被引量：
9
2
作者
李传荣
国庆喜
+1 位作者
刘丽娟
王凤友
《东北林业大学学报》
CAS
CSCD
北大核心
2000年第3期57-60,共4页
采用了SPACE模型模拟了小兴安岭南坡人工栽植红松的动态过程。在给定初始条件后，模拟了自然演替和实行采伐控制的林分断面积、径阶、年龄和采伐收益200a的变化。根据预测的结果，自然演替的人工林经80a便形成绝对的红松纯林，而经过动...
采用了SPACE模型模拟了小兴安岭南坡人工栽植红松的动态过程。在给定初始条件后，模拟了自然演替和实行采伐控制的林分断面积、径阶、年龄和采伐收益200a的变化。根据预测的结果，自然演替的人工林经80a便形成绝对的红松纯林，而经过动态采伐控制可在40a进入混交状态，在80a后形成稳定的混交林状态，相应带来一定的收益，形成的林分稳定。对人工林进行适当经营，可使红松尽早进入稳定的针阔混交林状态，达到可持续经营并发挥最佳的生态效益。
展开更多
关键词
红松人工林
混交林
space模型
森林演替
在线阅读
下载PDF
职称材料
基于Authentication Test方法的高效安全IKE形式化设计研究
被引量：
4
3
作者
蒋睿
胡爱群
李建华
《计算机学报》
EI
CSCD
北大核心
2006年第9期1694-1701,共8页
基于Authentication Test方法,围绕高效安全Internet密钥交换(ESIKE)协议的安全目标,提出一种具体地构建唯一满足两个通信实体变换边的形式化协议设计方法,设计出了高效安全的IKE协议;并且基于StrandSpace模型和Authentication Test方法...
基于Authentication Test方法,围绕高效安全Internet密钥交换(ESIKE)协议的安全目标,提出一种具体地构建唯一满足两个通信实体变换边的形式化协议设计方法,设计出了高效安全的IKE协议;并且基于StrandSpace模型和Authentication Test方法,形式化分析ESIKE协议,证明了其所具有的安全特性.该ESIKE协议克服了原有Internet密钥交换(IKE)协议存在的安全缺陷,提供了安全的会话密钥及安全关联(SA)协商,保护了通信端点的身份,并且保证了协议发起者和响应者间的双向认证.同时,ESIKE仅需3条消息及更少的计算量,更加简单、高效.
展开更多
关键词
协议设计
形式化方法
AUTHENTICATION
TESTS
密钥交换Strand
space模型
在线阅读
下载PDF
职称材料
题名
基于Strand Space模型的CCITT X.509协议分析
被引量：
4
1
作者
蒋睿
李建华
潘理
机构
上海交通大学电子工程系
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2004年第z1期169-173,共5页
基金
国家高技术研究发展计划(863)项目(2002AA145090)
上海市科技发展基金资助项目(025115039).
文摘
运用前沿的安全协议形式化分析方法——StrandSpace模型理论,对CCITTX.509协议进行了分析,指出了该协议在保密性和认证正确性方面的缺陷,得到了BAN逻辑分析没有得到的保密性缺陷和相同的认证正确性缺陷.同时提出了改进的X.509协议,并用StrandSpace模型论证了改进协议的保密性和认证正确性.
关键词
STRAND
space模型
安全协议
形式化方法
CCITT
X.509
Keywords
Strand
space
model
security protocol
formal method
CCITT X.509
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
红松中幼混交林的动态预测(Ⅰ)──裸地栽植红松的动态模拟
被引量：
9
2
作者
李传荣
国庆喜
刘丽娟
王凤友
机构
山东农业大学林学院
东北林业大学
出处
《东北林业大学学报》
CAS
CSCD
北大核心
2000年第3期57-60,共4页
基金
国家"九五"攻关课题!"红松福建柏珍贵建筑材良种选育及培育技术研究"子专题
文摘
采用了SPACE模型模拟了小兴安岭南坡人工栽植红松的动态过程。在给定初始条件后，模拟了自然演替和实行采伐控制的林分断面积、径阶、年龄和采伐收益200a的变化。根据预测的结果，自然演替的人工林经80a便形成绝对的红松纯林，而经过动态采伐控制可在40a进入混交状态，在80a后形成稳定的混交林状态，相应带来一定的收益，形成的林分稳定。对人工林进行适当经营，可使红松尽早进入稳定的针阔混交林状态，达到可持续经营并发挥最佳的生态效益。
关键词
红松人工林
混交林
space模型
森林演替
Keywords
Dynamic cutting
Korean pine plantation
Mixed forest
space
model
分类号
S758.4 [农业科学—森林经理学]
S791.247 [农业科学—林木遗传育种]
在线阅读
下载PDF
职称材料
题名
基于Authentication Test方法的高效安全IKE形式化设计研究
被引量：
4
3
作者
蒋睿
胡爱群
李建华
机构
东南大学无线电工程系
上海交通大学电子工程系
出处
《计算机学报》
EI
CSCD
北大核心
2006年第9期1694-1701,共8页
基金
国家"八六三"高技术研究发展计划项目基金(2003AA142160)资助
国家115科研基金(P2006014EA)资助.
文摘
基于Authentication Test方法,围绕高效安全Internet密钥交换(ESIKE)协议的安全目标,提出一种具体地构建唯一满足两个通信实体变换边的形式化协议设计方法,设计出了高效安全的IKE协议;并且基于StrandSpace模型和Authentication Test方法,形式化分析ESIKE协议,证明了其所具有的安全特性.该ESIKE协议克服了原有Internet密钥交换(IKE)协议存在的安全缺陷,提供了安全的会话密钥及安全关联(SA)协商,保护了通信端点的身份,并且保证了协议发起者和响应者间的双向认证.同时,ESIKE仅需3条消息及更少的计算量,更加简单、高效.
关键词
协议设计
形式化方法
AUTHENTICATION
TESTS
密钥交换Strand
space模型
Keywords
model protocol design
formal method
authentication tests
key exchange
strand
space
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于Strand Space模型的CCITT X.509协议分析
蒋睿
李建华
潘理
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2004
4
在线阅读
下载PDF
职称材料
2
红松中幼混交林的动态预测(Ⅰ)──裸地栽植红松的动态模拟
李传荣
国庆喜
刘丽娟
王凤友
《东北林业大学学报》
CAS
CSCD
北大核心
2000
9
在线阅读
下载PDF
职称材料
3
基于Authentication Test方法的高效安全IKE形式化设计研究
蒋睿
胡爱群
李建华
《计算机学报》
EI
CSCD
北大核心
2006
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
