Space模型相关论文
近年来，我国经济取得了飞速发展，然而到目前为止我国的经济发展模式仍然属于粗放型发展模式。这种粗放型的发展模式虽然使得我国经济......
基于认证测试方法及strand space模型，形式化分析了具有完美前向机密性的鲁棒电子邮件协议，指出该协议存在安全缺陷．同时给出了针对该......
基于Authentication Test方法，围绕高效安全Internet密钥交换（ESIKE）协议的安全目标，提出一种具体地构建唯一满足两个通信实体变换边的......
运用前沿的安全协议形式化分析方法--Strand Space模型理论,对CCITT X.509协议进行了分析,指出了该协议在保密性和认证正确性方面......
以风电产业为例,首先运用皮尔模型对新疆地区风电产业当前的发展状况进行了实证分析,结论显示,新疆地区的战略新兴产业——风力发......
