• 综合
  • 标题
  • 关键词
  • 摘要
  • 学者
  • 期刊-刊名
  • 期刊-ISSN
  • 会议名称
搜索

作者:

Delia Jurcut, Anca (Delia Jurcut, Anca.) | Liyanage, Madhusanka (Liyanage, Madhusanka.) | Chen, Jinyong (Chen, Jinyong.) | Gyorodi, Cornelia (Gyorodi, Cornelia.) | He, Jingsha (He, Jingsha.) (学者:何泾沙)

收录:

EI Scopus

摘要:

Short Message Service (SMS) is a text messaging service component of smart phones, web, or mobile communication systems which requires a high level of security to provide user authentication and data confidentiality. To provide such security features, a high security communication protocol for SMS, called Message Security Communication Protocol (MSCP) was proposed. In this paper, MSCP is formally analyzed using an automated logic-based verification tool with attack detection capabilities. The performed formal verification reveals that the proposed protocol is susceptible to parallel session and denial-of-service (DoS) attacks. The reasoning why these attacks are possible is detailed and an amended protocol is proposed to counter the identified attacks. Formal verification of the amended protocol provides confidence regarding the correctness and effectiveness of the proposed modifications. © 2018 IEEE.

关键词:

Authentication Denial-of-service attack Formal verification Mobile security Mobile telecommunication systems Radio broadcasting Smartphones Text messaging

作者机构:

  • [ 1 ] [Delia Jurcut, Anca]School of Computer Science, University College Dublin, Ireland
  • [ 2 ] [Liyanage, Madhusanka]Centre for Wireless Communications (CWC), University of Oulu, Finland
  • [ 3 ] [Chen, Jinyong]School of Computer Science, University College Dublin, Ireland
  • [ 4 ] [Gyorodi, Cornelia]Department of Computers and Information Technology, University of Oradea, Romania
  • [ 5 ] [He, Jingsha]College of Computer Science and Technology, Beijing University of Technology, China

通讯作者信息:

电子邮件地址:

查看成果更多字段

相关关键词:

相关文章:

来源 :

ISSN: 1525-3511

年份: 2018

卷: 2018-April

页码: 1-6

语种: 英文

被引次数:

WoS核心集被引频次: 0

SCOPUS被引频次: 4

ESI高被引论文在榜: 0 展开所有

万方被引频次:

中文被引频次:

近30日浏览量: 2

在线人数/总访问数:491/3658974
地址:北京工业大学图书馆(北京市朝阳区平乐园100号 邮编:100124) 联系我们:010-67392185
版权所有:北京工业大学图书馆 站点建设与维护:北京爱琴海乐之技术有限公司