云南高校图书馆联盟文献共享服务平台- AVISPA

AVISPA: 作品数：26被引量：46H指数：4; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：肖聪王赜李芳杜晔黎妹红更多>>; 相关机构：总参谋部天津工业大学解放军信息工程大学电子科技大学示范性软件学院更多>>; 相关期刊：《Computers, Materials & Continua》《西安电子科技大学学报》《信息网络安全》《北京航空航天大学学报》更多>>; 相关基金：国家自然科学基金国家重点实验室开放基金国家教育部博士点基金天津市自然科学基金更多>>

基于混沌映射的无线网络环境三因子身份认证协议: 《计算机应用与软件》2024年第10期349-356,397,共9页张帅亮杜秀娟刘昕; 国家自然科学基金项目(61962052);青海省科技厅创新团队项目(2020-ZJ-903);青海省物联网重点实验室项目(2020-ZJ-Y16);河北省物联网监测中心项目(3142016020)。; 针对无线网络环境当中的身份认证协议易受伪造攻击、重放攻击、用户模仿攻击、计算开销大、不能够提供匿名性等问题,提出一种基于三因子(口令、智能卡、生物特征)的身份认证密钥协商协议。通过BAN逻辑证明了通信实体之间的相互认证,利用...; 关键词：身份认证三因子 BAN逻辑 AVISPA

采用云和PUF的轻量级RFID双标签认证协议: 《西安电子科技大学学报》2023年第1期177-191,共15页艾璐琳常正泰范文兵孔德涵; 国家自然科学基金(61306106);河南省科技攻关项目(192102210086);郑州市黄河人才计划(郑发2020年14号)。; 针对医药系统中药品和说明书同时认证的应用需求,提出一种快速双标签身份认证方案。该方案引入云服务器和物理不可克隆函数,确保了射频识别系统的可扩展性和标签的不可克隆性。针对传统射频识别系统逐一认证双标签效率较低的问题,提出...; 关键词：射频识别双标签云服务器物理不可克隆函数 BAN逻辑分析 AVISPA工具

主从区块链容错异构跨域身份认证方案被引量：10: 《计算机工程与应用》2022年第22期79-88,共10页赵平王赜李芳孙士民; 国家自然科学基金(61702366,61802281);天津市重点项目基金(15ZXHLGX003901);天津市自然科学基金(19JCYBJC15800)。; 异构跨域身份认证是对不同体制信任域内的节点进行身份确认和安全信息交互的技术,现有的认证方案主要存在单点攻击风险和认证复杂等问题。为此,设计了主从区块链身份认证模型和匹配使用的分层拜占庭容错算法,通过主从链分步、分阶段共识...; 关键词：区块链容错算法跨域身份认证 AVISPA工具

5G异构网络中基于群组的切换认证方案被引量：3: 《计算机工程与应用》2022年第18期137-146,共10页张应辉李一鸣李怡飞郑东; 国家自然科学基金(62072369,62072371,61772418);陕西省创新能力支撑计划(2020KJXX-052);陕西省特支计划青年拔尖人才支持计划;陕西省重点研发计划(2020ZDLGY08-04,2021ZDLGY06-02)。; 随着5G网络的发展,各类网络服务质量极大提升的同时网络环境也愈加复杂,从而带来了一系列安全挑战。切换认证可以解决用户在不同类型网络间的接入认证问题,但现存方案仍存在一些不足,还需要解决如全局切换认证、密钥协商、隐私保护、抵...; 关键词：5G 切换认证区块链批量验证 AVISPA工具

5G移动边缘计算场景下的快速切换认证方案被引量：5: 《网络与信息安全学报》2022年第3期154-168,共15页张伟成卫红权刘树新普黎明; 国家自然科学基金(61803384)。; 5G万物互联为用户带来极致网络体验的同时也提出了新的挑战,用户的超低时延体验、移动状态下无顿感的获取业务以及安全防护问题备受关注。移动边缘计算能够满足5G低时延、大连接、高带宽的严苛要求,作为一种多信任域共存的计算范式,多...; 关键词：移动边缘计算切换认证服务下沉隐私保护 AVISPA

A Secure Three-Party Authenticated Key Exchange Protocol for Social Networks: 《Computers, Materials & Continua》2022年第6期6293-6305,共13页Vivek Kumar Sinha Divya Anand Fahd S.Alharithi Ahmed H.Almulihi; This project was funded by the Taif University Researchers Supporting Project Number(TURSP-2020/347),Taif Unversity,Taif,Saudi Arabia.; The 3PAKE(Three-Party Authenticated Key Exchange)protocol is a valuable cryptographic method that offers safe communication and permits two diverse parties to consent to a new safe meeting code using the trusted serve...; 关键词：AVISPA tool 3PAKE protocol hash function symmetric encryption social networks

WIDE:A witness-based data priority mechanism for vehicular forensics: 《Blockchain(Research and Applications)》2022年第2期15-24,共10页Chuka Ohama Regio A.Michelin Raja Jurdak Salil S.Kanhere Sanjay Jha; In this paper,we present a WItness based Data priority mEchanism(WIDE)for vehicles in the vicinity of an accident to facilitate liability decisions.WIDE evaluates the integrity of data generated by these vehicles,call...; 关键词：Fully autonomous vehicles Electronic control units Blockchain WITNESS FORENSICS Security CONSENSUS FAIRNESS Automated verification of internet security protocols and applications(AVISPA)

多服务器环境下基于动态ID的轻量级身份认证协议被引量：6: 《北京航空航天大学学报》2021年第12期2632-2640,共9页齐小晨黎妹红杜晔; 国家自然科学基金(U1736114);国家重点研发计划(2017YFB0802805)。; 为了实现用户和服务器之间的通信安全及高效的身份认证,设计有效的身份认证协议成为研究热点。分析了已有协议的安全性,发现仍存在不能抵抗拒绝服务攻击(DOS)和离线口令猜测攻击的缺陷。因此,提出了新的基于动态ID的轻量级单向哈希函数...; 关键词：多服务器身份认证密钥协商随机预言机模型(ROM) AVISPA

A Lightweight Anonymous Device Authentication Scheme for Information-Centric Distribution Feeder Microgrid: 《Computers, Materials & Continua》2021年第11期2141-2158,共18页Anhao Xiang Jun Zheng; This material is based upon work funded by the National Science Foundation EPSCoR Cooperative Agreement OIA-1757207。; Distribution feeder microgrid(DFM)built based on existing distributed feeder(DF),is a promising solution for modern microgrid.DFM contains a large number of heterogeneous devices that generate heavy network traffice a...; 关键词：Mutual authentication information-centric networking named data networking distribution feeder microgrid smart devices AVISPA security

Analysis and Improvement on a Hash-Based Authentication Scheme for Multi-Server Architecture被引量：3: 《Wuhan University Journal of Natural Sciences》2021年第5期394-404,共11页LI Rui KANG Baoyuan MAI Kaiqiang; Supported by the Applied Basic and Advanced Technology Research Programs of Tianjin(15JCYBJC15900)。; In order to meet people’s demand for various types of network services,researchers have conducted extensive research on authentication schemes for multi-server architecture.Although various schemes have been proposed...; 关键词：multi-server architecture AUTHENTICATION SECURITY one-way hash function AVISPA

AVISPA