-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=Space模型 "
共 条 记 录，以下是1-5

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
产业生命周期特性与企业战略关系实证研究——以金风科技为例被引量：1
《经济论坛》2018年第4期122-128,共7页王修锋 
以风电产业为例,首先运用皮尔模型对新疆地区风电产业当前的发展状况进行了实证分析,结论显示,新疆地区的战略新兴产业——风力发电产业当前刚刚进入产业成长期。之后进一步分析风电产业成长期特征,并在此基础上结合企业自身实际情况,运...
关键词：产业生命周期 皮尔模型 风力发电产业 SPACE模型 
基于Strand Space模型的CCITT X.509协议分析被引量：4
《上海交通大学学报》2004年第z1期169-173,共5页蒋睿 李建华 潘理 
国家高技术研究发展计划(863)项目(2002AA145090);上海市科技发展基金资助项目(025115039).
运用前沿的安全协议形式化分析方法——StrandSpace模型理论,对CCITTX.509协议进行了分析,指出了该协议在保密性和认证正确性方面的缺陷,得到了BAN逻辑分析没有得到的保密性缺陷和相同的认证正确性缺陷.同时提出了改进的X.509协议,并用S...
关键词：STRAND Space模型 安全协议 形式化方法 CCITT X.509 
基于Authentication Test方法的高效安全IKE形式化设计研究被引量：4
《计算机学报》2006年第9期1694-1701,共8页蒋睿 胡爱群 李建华 
国家"八六三"高技术研究发展计划项目基金(2003AA142160)资助;国家115科研基金(P2006014EA)资助.
基于Authentication Test方法,围绕高效安全Internet密钥交换(ESIKE)协议的安全目标,提出一种具体地构建唯一满足两个通信实体变换边的形式化协议设计方法,设计出了高效安全的IKE协议;并且基于StrandSpace模型和Authentication Test方法...
关键词：协议设计 形式化方法 AUTHENTICATION TESTS 密钥交换Strand space模型 
Formal analysis of robust email protocol based on authentication tests被引量：1
《Journal of Southeast University(English Edition)》2009年第2期147-151,共5页蒋睿 胡爱群 
The Natural Science Foundation of Jiangsu Province(No.BK2006108)
Based on the authentication tests and the strand space model, the robust email protocol with perfect forward secrecy is formally analyzed, and the security shortcomings of the protocol is pointed out. Meanwhile, the m...
关键词：email protocol authentication tests formal method perfect forward secrecy strand space model 
红松中幼混交林的动态预测(Ⅰ)──裸地栽植红松的动态模拟被引量：9
《东北林业大学学报》2000年第3期57-60,共4页李传荣 国庆喜 刘丽娟 王凤友 
国家"九五"攻关课题!"红松福建柏珍贵建筑材良种选育及培育技术研究"子专题
采用了SPACE模型模拟了小兴安岭南坡人工栽植红松的动态过程。在给定初始条件后，模拟了自然演替和实行采伐控制的林分断面积、径阶、年龄和采伐收益200a的变化。根据预测的结果，自然演替的人工林经80a便形成绝对的红松纯林，而经过动...
关键词：红松人工林 混交林 SPACE模型 森林演替 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部