协议组合逻辑安全的4G无线网络接入认证方案

TP309; 针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的过程和步骤,用协议组合逻辑对该方案的安全属性进行了形式化证明.通过安全性证明和综合分析,表明该方案具有会话认证性和密钥机密性,能抵御伪基站攻击和重放攻击,并能提供不可否认服务和身份隐私性,同时提高了移动终端的接入效率....

Full description

Saved in:
Bibliographic Details
Published in通信学报 Vol. 33; no. 4; pp. 77 - 84
Main Authors 王丽丽, 冯涛, 马建峰
Format Journal Article
LanguageChinese
Published 西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安710071%西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安,710071 2012
福建师范大学网络安全与密码技术重点实验室,福建福州350007
兰州理工大学计算机与通信学院,甘肃兰州,730050%兰州理工大学计算机与通信学院,甘肃兰州730050
Subjects
自证实公钥
4G
认证协议
协议演绎系统
协议组合逻辑
Online AccessGet full text
ISSN1000-436X
DOI10.3969/j.issn.1000-436X.2012.04.011

Cover

Abstract TP309; 针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的过程和步骤,用协议组合逻辑对该方案的安全属性进行了形式化证明.通过安全性证明和综合分析,表明该方案具有会话认证性和密钥机密性,能抵御伪基站攻击和重放攻击,并能提供不可否认服务和身份隐私性,同时提高了移动终端的接入效率.
AbstractList TP309; 针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的过程和步骤,用协议组合逻辑对该方案的安全属性进行了形式化证明.通过安全性证明和综合分析,表明该方案具有会话认证性和密钥机密性,能抵御伪基站攻击和重放攻击,并能提供不可否认服务和身份隐私性,同时提高了移动终端的接入效率.
Author 王丽丽
马建峰
冯涛
AuthorAffiliation 兰州理工大学计算机与通信学院,甘肃兰州,730050%兰州理工大学计算机与通信学院,甘肃兰州730050;福建师范大学网络安全与密码技术重点实验室,福建福州350007;西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安710071%西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安,710071
AuthorAffiliation_xml – name: 兰州理工大学计算机与通信学院,甘肃兰州,730050%兰州理工大学计算机与通信学院,甘肃兰州730050;福建师范大学网络安全与密码技术重点实验室,福建福州350007;西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安710071%西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安,710071
Author_FL MA Jian-feng
FENG Tao
WANG Li-li
Author_FL_xml – sequence: 1
  fullname: WANG Li-li
– sequence: 2
  fullname: FENG Tao
– sequence: 3
  fullname: MA Jian-feng
Author_xml – sequence: 1
  fullname: 王丽丽
– sequence: 2
  fullname: 冯涛
– sequence: 3
  fullname: 马建峰
BookMark eNo9j7tKA0EYRqeIYIx5Cy13_GfnlsVKgkYhYJPCLszMzkiCbMBVTKmQQCy8pFEQCwUDVmuti_o0e_EtjChWB77ifJwlVIkGkUVohQCmgQjW-rgXxxEmAOAxKvawD8THwDAQUkHV_30R1eO4p4ETKgVQUkXr2cVVmSRFOsquJ1-nafkxzZLzbPxc3I1YK799KN4-i_dpkd7nl7NsPCuTp_LlLL95zR8ny2jBqYPY1v9YQ52tzU5z22vvtnaaG23PcEE8EYqAAQ0MIbYhwVkXGqM4dcJoJ5jwQUlqKeVMSmYbBrQzOpCcEs1DMIrW0Oqv9kRFTkX73f7g-DCaH3aPhkP9Uwps3km_AaBDYS4
ClassificationCodes TP309
ContentType Journal Article
Copyright Copyright © Wanfang Data Co. Ltd. All Rights Reserved.
Copyright_xml – notice: Copyright © Wanfang Data Co. Ltd. All Rights Reserved.
DBID 2B.
4A8
92I
93N
PSX
TCJ
DOI 10.3969/j.issn.1000-436X.2012.04.011
DatabaseName Wanfang Data Journals - Hong Kong
WANFANG Data Centre
Wanfang Data Journals
万方数据期刊 - 香港版
China Online Journals (COJ)
China Online Journals (COJ)
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
DocumentTitle_FL Secure access authentication scheme for 4G wireless network based on PCL
EndPage 84
ExternalDocumentID txxb201204011
GroupedDBID -0Y
2B.
4A8
92I
93N
ALMA_UNASSIGNED_HOLDINGS
CCEZO
CUBFJ
GROUPED_DOAJ
PSX
TCJ
ID FETCH-LOGICAL-c561-6d694039c11e870fefdcca53f6cbf64620a73e3354774e8c0bfcb97531b5d0ca3
ISSN 1000-436X
IngestDate Thu May 29 03:59:50 EDT 2025
IsPeerReviewed false
IsScholarly true
Issue 4
Keywords 自证实公钥
4G
认证协议
协议演绎系统
协议组合逻辑
Language Chinese
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c561-6d694039c11e870fefdcca53f6cbf64620a73e3354774e8c0bfcb97531b5d0ca3
PageCount 8
ParticipantIDs wanfang_journals_txxb201204011
PublicationCentury 2000
PublicationDate 2012
PublicationDateYYYYMMDD 2012-01-01
PublicationDate_xml – year: 2012
  text: 2012
PublicationDecade 2010
PublicationTitle 通信学报
PublicationTitle_FL Journal on Communications
PublicationYear 2012
Publisher 西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安710071%西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安,710071
福建师范大学网络安全与密码技术重点实验室,福建福州350007
兰州理工大学计算机与通信学院,甘肃兰州,730050%兰州理工大学计算机与通信学院,甘肃兰州730050
Publisher_xml – name: 西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安710071%西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安,710071
– name: 福建师范大学网络安全与密码技术重点实验室,福建福州350007
– name: 兰州理工大学计算机与通信学院,甘肃兰州,730050%兰州理工大学计算机与通信学院,甘肃兰州730050
SSID ssib051376031
ssj0002912165
ssib058759023
ssib001102965
ssib023646527
ssib023168036
ssib036439991
ssib050281523
ssib000968473
Score 1.9368169
Snippet TP309; 针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的过程和步骤,用协议组合逻辑对该方...
SourceID wanfang
SourceType Aggregation Database
StartPage 77
Title 协议组合逻辑安全的4G无线网络接入认证方案
URI https://d.wanfangdata.com.cn/periodical/txxb201204011
Volume 33
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVHPJ
  databaseName: ROAD: Directory of Open Access Scholarly Resources
  issn: 1000-436X
  databaseCode: M~E
  dateStart: 19800101
  customDbUrl:
  isFulltext: true
  dateEnd: 99991231
  titleUrlDefault: https://road.issn.org
  omitProxy: true
  ssIdentifier: ssib058759023
  providerName: ISSN International Centre
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw7V3Na9RAFA-lgngRRcXP0kPnmJpMZpIZPCVptkXQ0wq9lc1soqcVdAulB1FooR786EVBPChY8LSetah_zX74B3j3vZdsktbi11kI4e18vI_fhLw3s5M3lrWQZY7IjBA2T3nXFkZzO-Uyt-El2TVGgY-j7Pw3bvort8T1Vbk6M_u9sWtpvZ8ums0jvyv5l1GFMhhX_Er2L0a2YgoFQMP4wh1GGO5_NMYskUwtMdViiWJhglcSsChiSmCVdphSLNG4mwEKoU2UMO1iFbRUmroDrbCXDqGXWGaJz3TAQoc4hSxqEbFE_Yi3jrGNAmlyykBO5QsiWhCeEh-fRRqJ0GXFqXrTMLhUCmQmAkWEhVJLLPSJeQg8p48CigVpKqK2CnWZEnUT0MNHwdA5AsFRXaNZCFeMTUB5sAgJj0VOc73DrefFZIEkuyuYAB2QKEsdNWETBgQJKQumYJXAwtqOAhKCDQgAFSGJSYWfESWLwMwaDx9RDFtHjRbwgdHVKEJxFnGC06MqIAJ8JhA0TvBTd50QEqBqXJaAtjzGQuCjZcPqw-ZjYqYA_J38j8xh83lcgNPw7JhCQXh0bGbl-oscLOUrTjT8eHm0UBkRiqNiDU_7mmINZL9YscfdopyyJ5dBxMFs7v2NjRRbgO_EjATHOC4j4o7jB0lzVQFixubn7g7X9WYEjmfNQeBZ__aFL3k1i_BwkqHrFFgSphAQpVf8pIsb4eo__6UKMIeTVy1Nc-1ylw7hraw6bi2UJl_9lcH05WMv7_RuN4L09inrZDm7ng-LV-Vpa2bzzhnr2vDJs8lgMN7fGj7f-fZwf_Jldzh4PNx-P361JZZHL9-MP30df94d778ePd0bbu9NBu8mHx6NXnwcvd05a7VbSTtescszY2wDM0Hb7_paOJ42rptBJJJnOXicjvRy36Q5wMSdTuBlnicFTHszZZw0NynmFnBT2XVMxztnzfbu9rLz1rzIso6bmRSPwREC_FbKjZEy7UjlO8INLlhzpa1rpUu4v3ZgdC_-rsEl6wTSxYLuZWu2f289uwJTnH46Rw_EDxrX590
linkProvider ISSN International Centre
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=%E5%8D%8F%E8%AE%AE%E7%BB%84%E5%90%88%E9%80%BB%E8%BE%91%E5%AE%89%E5%85%A8%E7%9A%844G%E6%97%A0%E7%BA%BF%E7%BD%91%E7%BB%9C%E6%8E%A5%E5%85%A5%E8%AE%A4%E8%AF%81%E6%96%B9%E6%A1%88&rft.jtitle=%E9%80%9A%E4%BF%A1%E5%AD%A6%E6%8A%A5&rft.au=%E7%8E%8B%E4%B8%BD%E4%B8%BD&rft.au=%E5%86%AF%E6%B6%9B&rft.au=%E9%A9%AC%E5%BB%BA%E5%B3%B0&rft.date=2012&rft.pub=%E8%A5%BF%E5%AE%89%E7%94%B5%E5%AD%90%E7%A7%91%E6%8A%80%E5%A4%A7%E5%AD%A6%E8%AE%A1%E7%AE%97%E6%9C%BA%E7%BD%91%E7%BB%9C%E4%B8%8E%E4%BF%A1%E6%81%AF%E5%AE%89%E5%85%A8%E6%95%99%E8%82%B2%E9%83%A8%E9%87%8D%E7%82%B9%E5%AE%9E%E9%AA%8C%E5%AE%A4%2C%E9%99%95%E8%A5%BF%E8%A5%BF%E5%AE%89710071%25%E8%A5%BF%E5%AE%89%E7%94%B5%E5%AD%90%E7%A7%91%E6%8A%80%E5%A4%A7%E5%AD%A6%E8%AE%A1%E7%AE%97%E6%9C%BA%E7%BD%91%E7%BB%9C%E4%B8%8E%E4%BF%A1%E6%81%AF%E5%AE%89%E5%85%A8%E6%95%99%E8%82%B2%E9%83%A8%E9%87%8D%E7%82%B9%E5%AE%9E%E9%AA%8C%E5%AE%A4%2C%E9%99%95%E8%A5%BF%E8%A5%BF%E5%AE%89%2C710071&rft.issn=1000-436X&rft.volume=33&rft.issue=4&rft.spage=77&rft.epage=84&rft_id=info:doi/10.3969%2Fj.issn.1000-436X.2012.04.011&rft.externalDocID=txxb201204011
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=http%3A%2F%2Fwww.wanfangdata.com.cn%2Fimages%2FPeriodicalImages%2Ftxxb%2Ftxxb.jpg