基于概率模型的云辅助的轻量级无证书认证协议的形式化验证

来源 :计算机科学 | 被引量 : 0次 | 上传用户:luckymanjxj
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
匿名WBANs通信技术是保护互联网用户和服务器间隐私的最有力手段之一,但匿名WBANs无证书认证协议的形式化验证仍是亟待解决的难题。采用概率模型检测的方法对一种基于云辅助的匿名WBANs的轻量级无证书认证协议建立离散时间马尔科夫链模型,在协议建模的状态迁移中加入了攻击率,重点对攻击率进行定量分析,用概率计算树逻辑对协议属性进行描述,利用PRISM概率模型检验工具对协议进行定量分析和验证,并且与SIP协议进行性能方面的对比。验证结果表明:在匿名WBANs通信环境下,云辅助的轻量级无证书认证协议各实体间所受攻
其他文献
采用Citespace软件对国内体育旅游产业的相关文献进行可视化和关键词分析,获得该产业研究的热点领域和前沿趋势。研究结果显示,我国目前体育旅游产业的理论研究较为分散,还没
传统的初中生物教学一直以课堂教学为中心,主要以提高考试分数为目的,过于关注理论知识教学,忽视了学生素养发展。新课改增设的综合实践活动则是为了实现知行合一,旨在全面丰
期刊
山东理工大学齐文化研究院邵先锋先生撰写的《晏子思想研究》,是山东省社会科学规划重点研究项目,已由当代中国出版社出版。根据现有检索结果,该书是研究晏子及晏子思想的第一本
简述了项目工程概况、湿陷性黄土路基的分布情况及处理方式,并从机械设备、施工工艺等方面进行了优化,对湿陷性黄土路基施工起到了有利的指导作用,为项目创造了经济效益。
有监督深度学习在有大量标记数据的领域可以取得不错的效果,但实际上很多领域只有大量未标记的数据。如何利用大量无标记数据,成为了深度学习发展的一个关键问题,领域自适应
分析读后仿写的理论依据。结合教学实例,探索初中英语读后仿写教学实践。提出精选精读,仿写词句,增加语言储备;聚焦篇章,梳理条理,完善仿写结构;改缩续创,丰富形式,激发仿写
为了保证用户敏感信息的安全性,需要对用户敏感信息进行隐蔽传输。采用已有方法对分层异构网络中的用户敏感信息进行隐藏时,所得信息的完整性和安全性较低。鉴于此,提出一种
如何挖掘出不同模态数据之间的潜在语义关联是跨模态检索算法的核心问题。已有研究表明,将表示学习和关联学习融合的模式比较适用于跨模态检索的任务,但目前基于这一模式的模
在重塑发展格局的五年里,中山进一步厘清城市发展思路和战略重点,大力实施环湾布局、向东发展战略,工业质量效益不断提高,创新能力不断提高,城市能级不断提升,高质量发展迈出