On the security verification of a short message service protocol - 文章详情页

作者：

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

通讯作者信息：

电子邮件地址：

查看成果更多字段

成果类型
所属机构

所有年份指定年份从至