摘要
匿名WBANs通信技术是保护互联网用户和服务器间隐私的最有力手段之一,但匿名WBANs无证书认证协议的形式化验证仍是亟待解决的难题。采用概率模型检测的方法对一种基于云辅助的匿名WBANs的轻量级无证书认证协议建立离散时间马尔科夫链模型,在协议建模的状态迁移中加入了攻击率,重点对攻击率进行定量分析,用概率计算树逻辑对协议属性进行描述,利用PRISM概率模型检验工具对协议进行定量分析和验证,并且与SIP协议进行性能方面的对比。验证结果表明:在匿名WBANs通信环境下,云辅助的轻量级无证书认证协议各实体间所受攻击率对协议的不可否认性、时延性和有效性有不同程度的影响,控制好攻击率可以提高协议安全性,这对医疗服务质量和实时监测效率的提高以及远程医学的基本需求有着极大的意义。
Anonymous wireless body area networks communication technology is one of the most powerful means to protect the privacy of Internet users and servers,but formal authentication of anonymous wireless body area networks certificateless authentication protocol is still a difficult problem to be solved.The method of probabilistic model detection is used to set up a discrete time Markov chain model based on a cloud-aided lightweight certificateless authentication protocol with anonymity for wireless body area networks.The attack rate is added to the state migration of the protocol modeling,and in particular,the attack rate was analyzed quantitatively.The protocol attributes are described with the probability calculation tree logic,the PRISM namely a probabilistic model testing tool was used for quantitative analysis and verification of the protocol,and the performance of the protocol was compared with the SIP protocol.The result shows that the attack rate between the entities of the cloud-aided lightweight certificateless authentication protocol has different influence on non-repudiation,time delay and effectiveness of the protocol under anonymous WBANs communication environment.The control of the attack rate can improve the security of the protocol.It is of great significance to the quality of medical services,the improvement of real-time monitoring efficiency and the basic needs of telemedicine.
作者
夏奴奴
杨晋吉
赵淦森
莫晓珊
XIA Nu-nu;YANG Jin-ji;ZHAO Gan-sen;MO Xiao-shan(School of Computing,South China Normal University,Guangzhou 510631,China)
出处
《计算机科学》
CSCD
北大核心
2019年第8期206-211,共6页
Computer Science
关键词
概率模型检测
WBANs
攻击率
云辅助的轻量级无证书认证协议
PRISM
Probabilistic model checking
Wireless body area networks
Attack rate
Cloud-aided lightweight certificateless authentication protocol
PRISM
