Analysis of Fast and Secure Protocol Based on Continuous-Time Markov Chain

来源 :中国通信 | 被引量 : 0次 | 上传用户：nrykapnry

【作者】

：

ZHOU Conghua CAO Meiling

【机构】

：

SchoolofComputerScienceandTelecommunicationEngineering

【出处】

：

中国通信

【发表日期】

：

2013年8期

【关键词】

：

连续时间马尔可夫链安全协议分析资助计划传输控制协议数据传输技术运输技术模型检查传输数据 FASP probabilistic model chec

【基金项目】

：

supported by the National Natural Science Foundation of China under Grants No. 60773049,No. 61003288,No.61111130184, the Ph.D. Programs Foundation of Ministry of Education of China under Grant No. 200

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

其他文献

数字化教学在职业教育中的应用——以网络技术课程为例

目前,数字化教学手段被不断的应用在职业学校的教学过程中。以本职业学校为例,围绕教育教学改革要求,对数字化教学进行了探索和实践,从而突破了传统的教学模式,提高了教学效

期刊

多媒体教学虚拟实验数字化教学multi-media teaching virtual experiment digital teaching

浅析夫妻忠诚协议

伴随着当下经济和社会的一步步急速发展,人们对家庭婚姻道德观念的看法也在不断的发生着改变。为了能够让自己的婚姻长久地存续下去,更好地预防或者防止夫妻双方婚外情的出现

期刊

夫妻忠诚协议忠实效力公证

论高职院校创业教育手段工学交替

高职院校通过工学交替手段,大力弘扬创业精神,营造舒适的创业氛围；引导学生树立创业意识,形成创业活动的强大驱动力；提升创业能力,培养学生成为创业行家里手,能有效地进行创业

期刊

创业教育工学交替手段高职entrepreneurial educationwork-study alternationmethodvocat

精细有机合成中的分子筛催化研究进展

精细有机合成中的分子筛催化研究进展杨林森（金陵石油化工公司研究院，南京２１００４６）ＹａｎｇＬｉｎｓｅｎ（ＲｅｓｅａｒｃｈＩｎｓｔｉｔｕｔｅｏｆＪｉｎｌｉｎｇＰｅｔｒｏｃｈｅｍｉｃａｌＣｏｒｐｏｒａｔｉｏｎ，Ｎａｎｊｉｎｇ２１００４６）关键词分子筛催...

期刊

分子筛催化有机合成分子筛催化剂zeolitecatalysisorganic　synthesisorganic　intermediatespec

Analysis of Fast and Secure Protocol Based on Continuous-Time Markov Chain

其他学术论文