运用SPIN对云环境双向认证协议Nayak的安全性验证

来源 :计算机应用与软件 | 被引量 : 3次 | 上传用户：aylylxs

【摘要】

：

随着云计算的发展,由欺诈行为驱动的窃取云资源和云服务的行为日趋严重,导致云资源提供商与用户间出现信任危机。Nayak协议是一种改进的云环境双向认证协议,用于保障用户安全登录云服务器,防止第三方恶意窃取用户信息。采用对称密钥密码体系对Nayak协议进行加密,基于Dolev-Yao攻击者模型,提出四通道并行建模法描述攻击者能力。该建模方法解决了Nayak协议并行运行过程中的模型检测问题以及安全隐患,优

【作者】

：

肖美华梅映天李伟

【机构】

：

华东交通大学软件学院

【出处】

：

计算机应用与软件

【发表日期】

：

2017年10期

【关键词】

：

Nayak协议模型检测四通道并行建模对称密钥加密 Nayak protocol Model checking Four-channel parallel

【基金项目】

：

国家自然科学基金项目（61163005,61562026）,计算机软件新技术国家重点实验室开放课题项目（KFKT2012B18）,江西省自然科学基金项目（2013BAB201033）,江西省高校科技落地计划项目（KJLD13038）,江西省对外科技合作技术项目（20151BDH80005）,华东交通大学研究生创新计划项目（YC2014-X007）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

Android异步技术的对比实验及应用

异步技术的选用是制约Android应用产品优劣的重要因素之一。目前Android应用开发的重要异步技术主要包括AsyncTask、ThreadPool、Thread＋Handler这三种。针对这三种异步技术在

期刊

Android异步AsyneTaskThreadPoolTHREADHANDLERAndroid Asynchronous AsyncTask Thre

奥巴马当选是谁的胜利？

2008年11月，黑人奥巴马赢得大选，成为美国历史上第一位黑人总统。这不仅是美国，也是世界历史上一件划时代的大事。对于这件大事，有人说，这是黑人的胜利，是黑人兄弟几十年、几百年斗

期刊

巴马美国历史世界历史历史进步种族斗争黑人总统

猪八戒不当第三者

在<西游记>里,猪八戒爱女人是人所共知的.但却有一个鲜明的特征:老猪没当过第三者.　　盘点八戒追求过的女子,第一位当数月宫里的嫦娥仙子;第二位是他在高老庄明媒正娶的媳妇

期刊

钾镁质（煌斑岩）岩的金丰度

期刊

钾镁质岩煌斑岩金丰度

“美食宰相”谭延闿

造就曹厨子北伐胜利，蒋介石登上最高权力宝座，谭延闿很知趣，让出国民政府主席职位，做行政院院长。

期刊

宰相美食国民政府蒋介石行政院北伐

张恨水的稿费

张恨水为文始于在<皖江报>当主笔,月薪8块银元.那时,8块银元足以让他在经济上自立.24岁那年,他依靠在<皖江报>挣到的积蓄,只身北上投考北大.……

期刊

老佛爷掌心里的百日维新

颁布《明定国是》诏公元1898年，岁在戊戌。八月初三深夜，北门大开，一队荷枪实弹的大车源源不断地进了城。夜里看不清，不知到底来了多少人，但很快人们便打听到，这是甘肃提督董福祥的

期刊

百日维新清朝历史《明定国是》

“学报体”文章为什么没人看

人们对“学报体”语言的厌恶和轻视由来已久。早在上世纪八十年代，王蒙就提出要改变中国学术文章的文风和表达方式，但时至今日，这种文体语言的枯燥、乏味和做作，不但没有丝毫改变

期刊

学术文章学报“核心期刊”文体语言课题经费竞争机制责任编辑学位

孙道临的牛棚往事

“文革”中，著名电影表演艺术家孙道临成了“牛鬼蛇神”被关进“牛棚”，经历了很多不堪回首的痛苦，但也感受到了不少来自那些善良的人们的温暖……　　1964年，孙道临与工文娟喜得爱女孙庆原。给女儿取名庆原，是为了庆祝中国原子弹爆炸成功。孙道临四十多岁才得了这么个女儿，爱女之深可想而知。但是小庆原却是生不逢时，在她牙牙学语、蹒跚学步的时候，横风逆雨突然袭来　　一阵粗暴的敲门声惊天动地响起来　　一夜之间，很

期刊

孙道临“牛棚”原子弹爆炸王文娟女儿

支持向量机算法应用于2FSK信号分类

支持向量机算法在解决小样本、非线性及高维模式识别问题中存在特有优势,广泛应用于统计分类及回归分析中。传统的频移键控解码在低信噪比下的误码率较高,解码结果受器件性能的影响较大,因此提出将支持向量机用于频移键控解码。构建分类训练样本点集,通过仿真训练找出合适的核函数,获得解码结果。该方法与相干检测、非相干检测以及基于神经网络的解码方法针对同一信源解码,将不同信噪比下的误码率进行对比分析。实验结果表明,

期刊

支持向量机解码频移键控核函数误码率Support vector machine Decoding Frequency shift keying

运用SPIN对云环境双向认证协议Nayak的安全性验证

与本文相关的学术论文