A Novel Trigon based Dual Authentication Protocol for Enhancing Security in Grid Environment
最近,为了经常跨网格分布计算应用,已经提出了必要性。这些应用程序依赖于数据传输或数据门户服务以及作业提交等服务。由于网格资源的异构性、动态性和多域性,安全性在网格计算应用中显得尤为重要。身份认证是网格环境中的重要安全挑战。在传统的认证协议中,单个服务器存储敏感的用户凭证,如用户名和密码。当这样的服务器被攻破时,大量的用户密码就会暴露。我们提出的方法使用双重认证协议,以提高在网格环境中的认证服务。该协议利用了三角形的基本概念,并根据三角形的参数进行用户认证。在所提出的协议中,密码被解释和异化成一个以上的单元,这些单元被存储在两个不同的服务器,即,认证服务器和后端服务器。只有当来自两个服务器的组合身份验证方案对用户进行身份验证时,用户才获得访问所请求资源的权限。在网格计算中使用双重认证协议的主要优点是,由于分裂的密码存储在不同的服务器中,对手用户不能通过危及单个统一服务器来获得访问权限。
2010-01-12 cs.CR
A lightweight dynamic pseudonym identity based authentication and key agreement protocol without verification tables for multi-server architecture
传统的基于口令的身份验证方案大多在单服务器环境中考虑。从两个方面来看,它们不适合多服务器环境。一方面,用户需要在每个服务器上注册,并存储大量数据,包括身份和密码。另一方面,要求服务器存储包含用户身份和密码的验证表。最近,在Sood等人的基础上,的协议(2011),Li等人提出了一种改进的用于多服务器架构的基于动态身份的认证和密钥协商协议(2012)。Li等人声称,所提出的方案可以弥补Sood等人的安全弱点。的协议。不幸的是,我们进一步的研究表明,李等人。的协议存在一些缺陷,不能抵抗重放攻击、拒绝服务攻击、内部攻击、窃听攻击、伪装攻击等,本文进一步提出了一种适用于多服务器体系结构的轻型动态假名身份认证与密钥协商协议。在我们的方案中,提供服务的服务器不需要维护用户的验证表。该协议不仅提供了李等人所宣称的安全功能。的纸张,但也有一些其他的安全功能,如可追溯性和身份保护。
2012-04-17 cs.CR
Privacy-Preserving Mutual Authentication and Key Agreement Scheme for Multi-Server Healthcare System
不同技术和智能设备的使用有助于人们远程获得医疗服务,从而获得多种好处。因此,关键和敏感数据在用户和医生之间交换。当健康数据通过公共信道传输时,保护系统中的各种隐私和安全属性变得至关重要。此外,远程服务的用户数量每天呈指数级增长,因此,由于验证开销、服务器故障和可扩展性问题,使用一个服务器来处理所有用户是不够的。因此,研究者们提出了各种多服务器架构的认证协议,但大多数协议都容易受到不同的安全攻击,并且在实现过程中需要很高的计算资源。为了解决隐私和安全问题,使用较少的计算资源,我们提出了一个隐私保护的相互认证和密钥协商协议的多服务器医疗保健系统。我们讨论了所提出的方案的安全性分析和性能结果,以了解其安全优势和计算资源的要求,分别。此外,我们做的安全性和性能的结果与最近的相关认证协议的比较。
2021-10-13 cs.CR
A Robust Password-Based Multi-Server Authentication Scheme
2013年,Tsai等人对Yeh等人的方案进行了密码分析,并表明Yeh等人,方案容易受到各种密码攻击,并提出了一种改进方案。在这张海报中,我们将展示蔡等人,方案也容易受到不可检测的在线密码猜测攻击,一旦攻击成功,对手可以执行所有主要的密码攻击。作为我们的贡献之一,我们提出了一个改进的方案,它克服了Tsai等人和Yeh等人方案中的缺陷。
2013-12-07 cs.CR
A First Measurement Study on Authentication Security in Real-World Remote MCP Servers
Fudan University(复旦大学);Central South University(中南大学)
本研究首次测量了现实世界远程MCP服务器的认证安全性,发现40.55%的服务器未进行认证,OAuth是主要的授权机制,但存在新的攻击面,识别出9种具体漏洞类型,并通过负责任的披露获得了9个CVE ID。
2026-05-21 cs.CR
A Secure and Improved Multi Server Authentication Protocol Using Fuzzy Commitment
最近,Barman等人提出了一种使用模糊承诺的多服务器认证协议。作者声称,他们的协议提供匿名性,同时抵抗所有已知的攻击。在本文中,我们分析了Barman等人。的协议仍然容易受到匿名违规攻击和基于窃取智能攻击的冒充,并且存在可扩展性问题。然后,我们提出了一个改进和增强的协议,以克服Barman等人的安全弱点。的方案。使用BAN逻辑和广泛接受的自动AVISPA工具验证了所提出的协议的安全性。BAN逻辑和自动AVISPA以及非正式分析确保了该方案对所有已知攻击的鲁棒性
2020-04-16 cs.CR
Secure Encryption scheme with key exchange for Two server Architecture
在分布式环境中,身份验证和密钥交换机制起着重要作用。一般来说,为了进行身份验证,客户端和服务器相互交换公共密钥。在以前,密码存储在单个服务器上。如果入侵者通过使用一些恶意攻击获得对服务器的访问权限,那么存储在数据库中的所有密码都将被泄露。电子商务应用的安全性受到威胁。为了提高认证方案的效率和性能,我们引入了多个服务器来存储密码,并参与密钥交换和认证方案。即使单个服务器受到威胁,这也能确保整个系统的安全。随机生成的nonce对应于两级安全机制,其中攻击者伪装成合法用户并登录系统的范围被完全限制。在此方法中,密码存储在其等效的哈希值中,并存储在多个服务器上。这使得攻击者很难进行逆向工程和拦截,甚至从哈希值的片段中确定密码。在本文中,我们建立了一个安全的基于密码的认证方案,使用密钥交换。
2017-11-29 cs.CR
Cryptanalysis of a privacy-preserving behavior-oriented authentication scheme
已经提出了连续认证作为针对由人类直接处理的计算机设备(诸如智能电话)的基于密码的认证的补充安全机制。连续身份验证存在一些隐私问题,因为某些用户特征和操作会暴露给身份验证服务器,而身份验证服务器不被认为是可信的。Wei等人在2021年提出了一种用于行为认证的隐私保护协议,该协议利用了同态加密。加密防止服务器获取采样的用户特征。在本文中,我们表明,魏等。计划是不安全的诚实,但好奇的服务器和一个积极的窃听。我们提出两种攻击:第一种攻击使认证服务器能够从加密数据中获取秘密用户密钥、明文行为模板和明文认证行为数据。第二种攻击使主动窃听者能够从发送的加密数据中恢复明文认证行为数据。
2022-09-14 cs.CR
Server Location Verification and Server Location Pinning: Augmenting TLS Authentication
我们介绍了第一个已知的机制,提供实时服务器位置验证。它的用途包括增强服务器认证(例如,增强TLS),使浏览器能够自动解释服务器位置信息。我们描述了这种新的基于测量的技术,服务器位置验证(SLV)的设计,并使用PlanetLab进行评估。我们解释如何SLV是兼容的地理分布的内容传播在互联网上的日益增长的趋势,而不会造成任何新的互操作性冲突。此外,我们引入的概念(可验证)“服务器位置钉扎”在TLS(概念上类似于证书钉扎),以支持SLV,并评估其综合影响使用服务器认证评估框架。结果证实了新的安全优势,以现有的SSL/TLS为基础的身份验证机制。我们通过位置验证服务实现SLV,最简单的版本不需要服务器端的更改。我们还实现了一个简单的浏览器扩展,与验证基础设施无缝交互,以获得实时服务器位置验证结果。
2016-08-16 cs.CR cs.NI
Design and Implementation of an IP based authentication mechanism for Open Source Proxy Servers in Interception Mode
代理服务器正越来越多地部署在组织中以获得性能益处;然而,主要对于开源代理服务器,在拦截代理模式中的客户端认证的容易性方面仍然存在缺点。从技术上讲,拦截模式不是为客户端身份验证设计的,但在某些组织中的实现确实需要此功能。本文以万维网为研究对象,分析了现有的透明代理认证机制及其不足,提出了一种基于客户端IP地址的外部脚本的透明代理用户认证方案。该认证机制已在使用最广泛的HTTP开源代理服务器Squid上实现和验证。
2013-02-17 cs.CR cs.NI
Replay Attack Prevention in Kerberos Authentication Protocol Using Triple Password
重放攻击和口令攻击是DRM认证协议中的严重问题。已经提出了许多想法来防止这些攻击,但它们增加了整个网络环境的复杂性。本文提出了一种利用三重口令方案防止重放攻击和口令攻击的改进方法。三个密码存储在认证服务器上,认证服务器通过使用认证服务器和票证授予服务器之间共享的秘密密钥加密,将两个密码发送到票证授予服务器(一个用于应用服务器)。类似地,票据授予服务器通过用在TGS和应用服务器之间共享的秘密密钥加密来向应用服务器发送一个密码。同时,通过使用TGS刚刚从AS接收到的密码对服务授予票证进行加密,将服务授予票证传送给用户。它有助于防止重放攻击。
2013-04-12 cs.CR cs.DC
Cryptanalysis of authentication and key establishment protocol in Mobile Edge Computing Environment
本文对MEC环境中Wu等人提出的认证与密钥建立协议进行密码分析,发现其存在密钥计算攻击、用户仿冒和可追踪性等漏洞,导致用户长期秘密暴露。
2024-12-25 cs.CR
Cryptanalysis of Song's advanced smart card based password authentication protocol
Song \cite{Song10}最近提出了一种基于密码的认证和密钥建立协议,该协议使用灵巧卡,试图解决Xu,Zhu和Feng \cite{XZF09}提出的先前方案中发现的一些弱点。在本文中,我们提出了对改进的协议的攻击,表明它未能实现声称的安全目标。
2011-11-11 cs.CR
Cryptanalysis of A Secure Remote User Authentication Scheme Using Smart Cards
基于灵巧卡的认证方案被用于各种领域,如电子银行、电子商务、无线传感器网络、医疗系统等,以在通过互联网进行通信期间对远程用户和应用服务器进行认证。最近,Karuppiah和Saravanan提出了一种基于口令和单向密码散列函数的认证方案。他们使用了安全身份机制,即,用户和服务器的身份是不公开的。因此,用户和服务器在通信期间不直接向彼此发送他们的身份。在本文中,我们已经发现,他们的方案没有克服答复攻击,也有一个错误,在登录阶段,这使得他们的方案是不完美的实际应用。
2015-02-17 cs.CR
A Framework for Server Authentication using Communication Protocol Dialects
在当今世界,计算机网络已变得易受众多攻击。在无线和有线网络中,最常见的攻击之一是中间人攻击,其中会话劫持、上下文混淆攻击是最常见的攻击。潜在的攻击者可能有足够的时间针对这些漏洞发起攻击(例如将目标请求重新路由到恶意服务器或劫持流量)。解决这一问题的可行策略是,通过动态改变系统属性、配置并创建唯一指纹来识别源。然而,现有的指纹工作主要集中在较低级别的属性(如IP地址),只有这些类型的属性是限制突变。我们开发了一种新的系统,称为验证Pro,提供服务器认证使用通信协议方言,使用客户端-服务器架构的基础上定制的通信交易的网络协议。对于每个会话,特定的握手序列将被用作方言。因此,给定上下文,通过建立一次性用户名和密码,我们在整个会话中使用方言作为每个请求的身份验证机制(例如,在FTP中获取文件名),这强制执行连续身份验证。具体来说,我们在客户端和服务器上都利用了机器学习方法来触发一种特定的方言,这种方言会随着每个请求而动态变化。我们实现了Verify-Pro的原型,并在标准通信协议FTP,HTTP和物联网协议MQTT上评估其实用性。我们的实验结果表明,通过发送误导性的信息,通过消息包从攻击者在应用层,它是可能的收件人,以确定发送者是真正的或欺骗的,可以忽略不计的开销为0.536%。
2022-02-01 cs.CR
Cryptanalysis of Multi-Server Authenticated Key Agreement Scheme Based on Trust Computing Using Smart Cards and Biometrics
通信技术的进步为各种服务提供了可扩展的平台,其中远程用户可以从任何地方访问服务器而无需从其位置移动。它为在线服务提供了独特的机会,使得用户不需要亲自出现在服务中心。这些服务采用认证和密钥协商协议,以确保对资源的授权和安全访问。大多数身份验证方案支持单服务器环境,其中用户必须向每个服务器注册。如果用户希望访问多个应用服务器,他需要向每个服务器注册。虽然多服务器认证方案引入了可扩展的平台,使得用户可以使用单个注册与任何服务器交互。最近,Chuang和Chen提出了一种基于灵巧卡、口令和生物特征的高效多服务器认证密钥协商方案。这是一个轻量级的认证方案,只需要计算哈希函数。在这篇文章中,我们提出了一个简短的评论庄和陈的计划。我们分析了Chuang和Chen的方案,发现他们的方案不能抵抗被盗灵巧卡攻击,这会导致用户的冒充攻击,服务器欺骗攻击和中间人攻击。此外,我们还证明了他们的方案有一个弱密钥协商协议,它不能确保前向保密性。
2014-01-20 cs.CR
Comments on "Improved Efficient Remote User Authentication Schemes"
最近,Tian等人发表了一篇文章,其中他们讨论了Yoon等人方案的一些安全弱点,并随后提出了两个“改进”方案。本文证明了Tian等人的方案比Yoon等人的方案是不安全和脆弱的。
2007-12-18 cs.CR
A Secure Web-Based File Exchange Server: Software Requirements Specification Document
本文介绍了一个安全文件交换系统原型的简要软件规范,该原型涉及用户通过浏览器和应用程序服务器进行相互认证,使用基于PKI的证书作为凭据,使用LDAP进行凭据管理,以及在应用程序和数据库服务器之间进行认证,以保持各方之间的高度信任。
2011-01-24 cs.CR
The Cryptanalysis of Lee's Chaotic Maps-Based Authentication and Key Agreement Scheme using Smart card for Telecare Medicine Information Systems
远程医疗信息系统(TMIS)是为远程用户提供远程医疗服务而开发的。用户可以使用互联网访问远程医疗服务器,而无需从他的位置移动。虽然远程用户和服务器通过公共网络交换他们的消息/数据。对手被认为是足够强大的,他可以完全控制公共网络。这使得这些虚拟服务容易受到攻击。为了确保用户和服务器之间的安全通信,已经提出了许多基于口令的认证方案。2013年,Hao等人提出了一种基于混沌映射的TMIS密码认证方案。最近,李某指认郝某等人。的方案不能满足密钥协商属性,使得恶意服务器可以预先确定会话密钥。Lee还提出了一种有效的基于混沌映射的口令认证和密钥协商方案,该方案使用灵巧卡用于TMIS。在这篇文章中,我们简要地回顾了李的计划,并证明了李的计划的弱点。研究表明,Lee方案在密码修改阶段的效率低下导致了拒绝服务攻击,而在登录阶段则导致了额外的计算和通信开销。
2013-10-22 cs.CR
Authentication and Authorization in Server Systems for Bio-Informatics
身份验证和授权是两个紧密耦合且相互关联的概念,用于保持交易安全并帮助保护机密信息。本文建议评估当前用于身份验证和授权的技术,并将其与最佳实践和普遍接受的身份验证和授权方法进行比较。身份验证验证用户身份并提供可重用的凭据,而授权服务存储有关用户访问级别的信息。这些机制由系统控制,通过这些机制,系统检查特定的已验证用户应该具有什么级别的访问权限来查看安全资源
2010-01-23 cs.CR cs.IR
A Study On ID-based Authentication Schemes for Telecare Medical Information System
设计和开发了基于灵巧卡的认证方案,以确保远程用户和服务器之间的安全和授权通信。近年来,已经提出了许多用于远程护理医疗信息系统(TMIS)的基于灵巧卡的认证方案。在这篇文章中,我们简要地讨论了一些最近发表的灵巧卡为TMIS认证计划,并试图说明为什么有效的登录和密码更改阶段是必需的。换句话说,研究表明,如何低效的密码更改阶段导致拒绝服务器攻击,以及如何低效的登录阶段增加通信和计算开销,降低系统的性能。
2014-02-04 cs.CR
Flexible and Robust Privacy-Preserving Implicit Authentication
隐式身份验证由服务器基于用户的使用配置文件对用户进行身份验证组成,而不是/除了依赖于用户明确知道的内容(密码,私钥等)之外。虽然隐式身份验证使第三方窃取身份变得更加困难,但它要求服务器学习并存储用户的使用配置文件。最近,第一个隐私保护隐式认证系统被提出,其中服务器不学习用户的配置文件。它使用一个特别的两方计算协议来比较用户的新鲜采样功能对加密存储的用户的配置文件。该协议需要存储使用配置文件,并使用两种不同的密码系统进行比较,其中一种密码系统是保序的;此外,特征必须是数字的。我们在这里提出了一个更简单的协议,基于集合交集,具有以下优点:i)只需要一个密码系统; ii)不泄漏新鲜特征样本的相对顺序; iii)能够处理任何类型的特征(数值或非数值)。保留字:隐私保护隐式身份验证,隐私保护集合交集,隐式身份验证,主动身份验证,透明身份验证,风险缓解,数据代理。
2015-03-02 cs.CR
SEIGuard: An Authentication-simplified and Deceptive Scheme to Protect Server-side Social Engineering Information Against Brute-force Attacks
提出了一种简化身份验证的欺骗性方案(SEIGuard),用于保护服务器端的社会工程信息(SEI)等信息免受蛮干攻击。在SEIGuard中,认证中的密码检查被省略,并且该设计进一步与使用蜂蜜加密的SEI加密设计相结合。登录密码只是作为加密SEI的临时密钥,数据库中没有存储密码明文或密文。在登录过程中,服务器不检查登录密码,正确的密码将密文解密为正确的明文;不正确的密码将密文解密为虚假但看起来可信的明文(从相同的分布中采样)。这两种情况共享相同的未区分的后端过程。该方案消除了在线和离线蛮干攻击所依赖的锚点,并针对4种典型的社会工程信息客体给出了4种SEIGuard方案设计和算法(移动电话号码、身份证号码、电子邮件地址、个人姓名),它们代表4种不同类型的消息空间,即1)有限且均匀分布,2)有限,复杂且均匀分布,3)无限且均匀分布,4)无限且非均匀分布的消息空间。针对SEIGuard方案的应用,提出了多个小映射文件策略、二分查找算法、两部分HE(DTE)设计和增量映射文件解决方案。最后,本文在上述方案、设计和算法的基础上开发了SEIGuard系统。实验结果表明,SEIGuard方案能有效地保护服务器端SEI免受蛮干攻击,且SEIGuard方案的实时响应性能优于传统的PBE服务器方案和HE加/解密方案。
2021-08-18 cs.CR
Cryptanalysis of shifted conjugacy authentication protocol
在本文中,我们提出了第一个实际的攻击移动共轭为基础的认证协议提出的P.Dehornoy。我们讨论了该原语的弱点,并提出了改进协议的方法。
2007-08-14 cs.CR math.GR
An authentication model based on cryptography
本文提出了一种基于用户卡的身份认证技术,以改进允许用户远程访问的系统中的身份认证过程,提高用户信息交换的安全性。在该技术中,服务器执行两个功能,第一个功能,注册用户,并向他提供用户ID、PIN码,并且用户私人卡包含保密信息,该保密信息用于通过使用两种加密来加密用户消息:使用RC 4-Pr的对称加密和使用RSA的非对称加密。第二个功能,如果用户需要,则分发用户的公用卡,其中用户将自己的认证码与自己的用户ID和接收方用户ID一起发送给认证检查,然后服务器将用户公用卡发送给接收方用户,这样发送方用户可以将消息发送给接收方用户,而无需再次返回服务器。采用RC 4-Pr和RSA加密实现了系统的机密性,采用RSA加密实现了消息认证、用户签名和双向秘密密钥。本文还实现了文献[1]中提出的RC 4-pr算法,该算法对基本RC 4算法的关键弱点进行了改进。
2021-08-15 cs.CR
A secure and effective anonymous authentication scheme for roaming service in global mobility networks
最近,Mun等人分析了Wu等人。的认证方案,并提出了一种增强的匿名认证方案在全球移动网络漫游服务。然而,通过仔细分析,我们发现,Mun et al.的方案容易受到模仿攻击、离线密码猜测攻击和内部攻击,并且不能提供用户友好性、用户匿名性、适当的相互认证和本地验证。为了弥补这些弱点,本文提出了一种新的匿名认证方案,在全球移动网络中的漫游服务。安全性和性能分析表明,该方案更适合于低功耗和资源有限的移动设备,并对各种攻击是安全的,有许多优秀的功能。
2013-06-20 cs.CR
TREVERSE: Trial-and-Error Lightweight Secure Reverse Authentication with Simulatable PUFs
物理不可克隆函数(PUF)通过利用不可控的制造随机性来生成硬件固有的易失性秘密。尽管PUF为越来越多的低端物联网设备提供了轻量级和安全认证的潜力,但实用和安全的机制仍然难以捉摸。我们的目标是探索模拟的PUF(SimPUF),物理上不可克隆,但有效地通过特权的一次性PUF访问数学建模,以解决上述问题。给定一个挑战,拥有可信服务器的安全存储的SimPUF计算相应的响应及其特定于比特的可靠性。因此,由资源有限的证明器生成的自然噪声PUF响应可以立即由单向函数(OWF)处理并发送到服务器,因为资源丰富的服务器可以利用SimPUF来对可能的错误模式执行试错搜索以恢复噪声响应来认证证明器。随机预言机模型下的试误反向认证(TREVERSE)的安全性是由逆OWF的难度来保证的。我们正式评估TREVERSE认证能力与两个SimPUF实验来自流行的硅PUF。
2020-05-03 cs.CR
PassBio: Privacy-Preserving User-Centric Biometric Authentication
在线生物特征认证的扩散使得生物特征模板的安全要求成为必要。现有的安全生物特征认证方案以服务器为中心的模型为特征,其中服务提供商维护生物特征数据库并完全负责模板的安全性。最终用户必须完全信任服务器来存储、处理和管理他们的私有模板。因此,最终用户的模板可能会受到外部攻击者甚至服务提供商本身的攻击。在本文中,我们提出了一个以用户为中心的生物认证方案(PassBio),使最终用户能够加密自己的模板与我们提出的轻量级加密方案。在身份验证期间,所有模板都保持加密状态,因此服务器永远不会直接看到它们。然而,服务器能够确定两个加密模板的距离是否在预定义阈值内。我们的安全性分析表明,没有关键信息的模板可以透露下被动和主动攻击。PassBio遵循加密数据的“计算然后比较”计算模型。更具体地说,我们提出的阈值谓词加密(TPE)方案可以加密两个向量x和y的方式,可以评估x和y的内积,并与预定义的阈值进行比较。TPE保证只显示比较结果,而不会获知关于x和y的关键信息。此外,我们表明,TPE可以作为一个灵活的积木,以评估不同的距离度量,如汉明距离和欧几里得距离加密数据。TPE支持的这种先计算后比较的计算模型可以广泛应用于许多有趣的应用中,例如在确保数据安全性和隐私的同时搜索加密数据。
2017-11-14 cs.CR
Blind-Touch: Homomorphic Encryption-Based Distributed Neural Network Inference for Privacy-Preserving Fingerprint Authentication
本文提出Blind-Touch系统,通过同态加密和分布式神经网络推理实现隐私保护指纹认证,在保持高准确率的同时显著提升云端处理效率。
2024-04-01 cs.CR
An Analysis of Attack Vectors Against FIDO2 Authentication
Kiel University of Applied Sciences(基尔应用科技大学)
本文分析了FIDO2认证的攻击方法,探讨了两种新型攻击方式,发现其安全性较高,相比传统密码认证更具优势。
2026-04-22 cs.CR
BEPHAP: A Blockchain-Based Efficient Privacy-Preserving Handover Authentication Protocol with Key Agreement for Internet of Vehicles
车联网可以显著提高运输效率,保障交通安全。身份认证被认为是物联网中抵御攻击的基本防线。然而,最先进的方法存在几个缺点,包括单一云服务器模型的瓶颈,操作的高计算开销,对云服务器和路边单元(RSU)的过度信任,以及车辆轨迹隐私的泄露。本文介绍了BEPHAP,一种基于区块链的高效隐私保护车联网切换认证协议,具有密钥协商功能,旨在解决这些问题。BEPHAP在云服务器和RSU可能发起攻击的安全模型下,通过基于防篡改区块链、对称密码学和变色龙哈希函数的密钥协商,实现匿名跨域相互切换认证。BEPHAP特别适合车联网,因为它允许车辆在认证阶段只需要执行轻量级的加密操作。BEPHAP还实现了数据机密性、不可链接性、可跟踪性、不可否认性、不可成帧性和密钥托管自由性。基于ProVerif的形式化验证和基于BAN逻辑的形式化安全性证明表明,BEPHAP能够抵抗各种典型的攻击,如中间人攻击、冒充攻击和重放攻击。性能分析表明,BEPHAP在计算和通信效率方面都超过了现有的工作。每秒5000个请求时,消息丢失率保持为0,符合车联网的要求。
2022-10-29 cs.CR
Accountable authentication with privacy protection: The Larch system for universal login
针对凭证泄露难以检测和缓解的问题,提出问责认证框架larch,在保护隐私并确保正确记录认证的同时,兼容FIDO2、TOTP和密码登录,且不降低用户原有的安全与隐私期望。
2024-09-23 cs.CR
T/Key: Second-Factor Authentication From Secure Hash Chains
目前使用的基于时间的一次性密码(TOTP)系统需要在客户端和服务器上存储秘密。因此,对服务器的攻击可以暴露系统中所有用户的所有第二因素。我们提出了T/Key,一个基于时间的一次性密码系统,不需要在服务器上的秘密。我们的工作使经典的S/Key系统现代化,并解决了使这样一个系统安全和实用的挑战。我们构建的核心是一个新的下界,分析由独立随机函数组成的反向哈希链的硬度,这正式证明了这个广泛使用的原语的安全性。此外,我们开发了一个接近最优的算法,用于快速生成哈希链中所需的元素,客户端上的内存很少。我们报告我们的T/Key作为Android应用程序的实现。T/Key可以作为当前TOTP系统的替代品,并且在服务器端受到危害的情况下仍然安全。与S/Key一样,其代价是一次性密码比TOTP中使用的标准六个字符长。
2017-08-28 cs.CR
Password-authenticated Decentralized Identities
密码验证身份是互联网上最广泛的用户验证方法,用户在其中与各个服务器建立用户名-密码对,并在以后使用它们进行验证。虽然它们简单、用户友好且被广泛采用,但它们提供了不安全的身份验证,并将服务器操作员定位为受信任方,使他们能够完全控制用户的身份。为了减轻这些限制,许多身份系统采用了公钥密码学和分散化概念。然而,所有这些系统都需要用户创建和管理公钥-私钥对。不幸的是,用户通常没有所需的知识和资源来正确处理他们的加密秘密,这可能导致许多以最终用户为中心的公钥基础设施(PKI)失败。事实上,到目前为止,没有一种能够向Web服务器验证用户的最终用户PKI具有显著的采用率。在本文中,我们提出了密码认证的分散身份(PDID),身份和认证框架,用户可以注册自己的主权用户名密码对,并使用它们作为通用凭证。我们的系统提供了全球命名空间,人类有意义的用户名,并对用户名冲突攻击的弹性。用户的身份可用于向任何服务器认证用户,而不向该服务器泄露关于密码的任何信息,从而不可能针对密码进行离线字典式攻击。我们分析PDID并使用现有的基础设施和工具实现它。我们报告我们的实施和评估。
2021-09-16 cs.CR
Image Authentication using Visual Cryptography
本文提出了一种结合视觉密码学和公钥密码学的图像加密和认证技术。一个突出的攻击涉及生成假的份额欺骗诚实的用户已经被描述和示范的建议系统采用集中式服务器来生成份额和验证它们的请求的基础上,作为一个计数器所描述的攻击。
2017-11-24 cs.CR
Cryptanalysis on Four Two-Party Authentication Protocols
本文分析了Bindu等人提出的四个认证协议,Goriparthi等人,Wang et al. and Hölbl et al..经过研究,我们发现这些方案的几个弱点。首先,Bindu等人如果恶意用户获得丢失的灵巧卡,则的协议会遭受内部人员冒充攻击。第二,Goriparthi et al.和Wang et al.的协议在密码更改阶段无法承受拒绝服务攻击,即攻击者可以参与该阶段,使用户的密码永远不会在后续的认证中使用。第三,Hölbl et al.的协议容易受到内部攻击,因为合法但恶意的用户可以推断出KGC的秘密密钥。
2010-07-01 cs.CR
Quantum-Resistant Authentication Scheme for RFID Systems Using Lattice-Based Cryptography
Indian Institute of Technology Bombay(印度理工学院孟买分校)
本文提出一种新型抗量子RFID认证方案,利用格密码中的不均短整数解问题实现抗量子性,保障读写器-服务器和标签-读写器通信链路的安全性,通过形式化验证和安全性分析,展示其在MITM、重放等攻击下的强安全性。
2026-03-31 cs.CR
Detection and Prevention of New Attacks for ID-based Authentication Protocols
信息和网络技术的快速发展推动了各种新的计算范式的出现,例如分布式计算和边缘计算。这也使得越来越多的网络企业能够同时提供多种不同的服务。为了保证这些服务只能被授权用户访问,许多基于口令和灵巧卡的多服务器认证方案被提出。在本文中,我们回顾了几个动态的基于身份的口令认证方案的多服务器环境。针对其中四个方案提出了新的攻击,证明对手可以冒充合法或虚构的用户。这些攻击的影响是无法实现主要的安全要求:身份验证。因此,分析方案的安全性被证明是妥协。我们分析了这四个动态的基于ID的方案,并讨论了新的攻击成功的原因。此外,我们提出了一套新的设计准则,以防止这种可利用的弱点,动态基于身份的认证协议。最后,我们将建议的指导方针,分析协议,并证明违反这些准则会导致不安全的协议。
2021-01-29 cs.CR
SSH-Passkeys: Leveraging Web Authentication for Passwordless SSH
本文提出SSH-Passkeys框架,利用WebAuthn和UNIX PAM实现无密码SSH认证,在兼容现有服务器且无需客户端新软件的前提下,有效防止密钥泄露与钓鱼,将关键安全错误降低90%并将认证时间缩短4倍。
2025-07-11 cs.CR
An authentication protocol based on chaos and zero knowledge proof
Port Knocking是一种通过封闭式防火墙对客户端进行身份验证的方法,并授权其请求的操作,使服务器能够向经过身份验证的客户端提供服务,而无需打开防火墙上的端口。端口爆震的进步导致设计复杂性的增加,阻止端口爆震解决方案实现其潜力。本文提出了一种新的端口敲门解决方案,命名为Crucible,这是一种安全的身份验证方法,具有高可用性和隐身特性,允许服务器和服务保持隐藏和保护。Crucible是一个无状态的解决方案,只需要客户端记住一个命令,服务器的IP和一个选择的密码。该解决方案是作为一种保护服务器免受从端口扫描到零日攻击的方法而提出的。通过混沌系统产生密码散列作为客户端和服务器端的随机预言机。
2020-01-22 cs.CR cs.DC
An Attack Resilient PUF-based Authentication Mechanism for Distributed Systems
在大多数基于PUF的认证方案中,中央服务器通常用于验证设备的PUF对挑战比特流的响应。然而,服务器可用性在实践中可能是间歇性的。为了解决这个问题,本文提出了一种新的协议,用于支持分布式认证,同时避免信息泄漏的脆弱性,其中CRP可以从被黑客攻击的设备中检索并共同用于对PUF进行建模。主要思想是以依赖于验证器的方式提供加扰质询比特流。加扰模式针对每个设备的每个认证轮变化,并且独立地跨设备变化。本质上,加扰函数变为节点和分组特定的,并且由一个设备的两个验证器接收的针对相同质询比特流的响应可以变化。因此,即使恶意节点的合谋集合也不能恢复加扰函数,也不能对PUF进行建模。使用基于FPGA的实现数据的验证结果表明,我们的方法在挫败PUF建模攻击的有效性合谋演员。我们还讨论了方法弹性对模仿,Sybil,和逆向工程攻击。
2022-06-14 cs.CR
PUF-RLA: A PUF-based Reliable and Lightweight Authentication Protocol employing Binary String Shuffling
物理不可克隆功能(PUF)可以用于设备标识、认证、秘密密钥存储和其他安全任务。然而,如果多个PUF的挑战-响应对(CRP)暴露给对手,则PUF容易受到建模攻击。此外,许多需要认证的嵌入式设备具有严格的资源约束,因此需要轻量级认证机制。我们提出了PUF-RLA,一个基于PUF的轻量级,高可靠性的认证方案,采用二进制字符串洗牌。该方案通过在服务器而不是设备中采用纠错来增强PUF的可靠性,并且在不损害安全性的情况下消除了资源约束。所提出的PUF-RLA是强大的暴力,重放和建模攻击。在PUF-RLA中,我们在设备内部引入了一种廉价而安全的流认证方案,该方案在调用底层PUF之前对服务器进行认证。这防止了攻击者粗暴地迫使设备的PUF获取CRP,从而基本上锁定设备以防止未授权的模型生成。此外,我们还介绍了一个轻量级的CRP混淆机制,涉及XOR和洗牌操作。结果和安全性分析表明,PUF-RLA是安全的暴力破解,重放和建模攻击,并提供约99%的可靠认证。此外,PUF-RLA提供了一个减少63%和74%的查找表(LUT)和寄存器计数,分别在FPGA相比,最近提出的方法,同时提供额外的认证优势。
2020-07-19 cs.CR
A Newer User Authentication, File encryption and Distributed Server Based Cloud Computing Security Architecture
云计算平台为人们提供了在全世界人民之间共享资源、服务和信息的机会。在私有云系统中,信息在云中的人之间共享。为此,安全或个人信息隐藏过程阻碍。在本文中,我们提出了新的安全架构的云计算平台。这确保了通信系统的安全,并对他人隐藏信息。该模型包括基于AES的文件加密系统和用于交换信息或数据的异步密钥系统。这种结构可以很容易地应用于主要的云计算功能,例如PaaS,SaaS和IaaS。该模型还包括用于用户认证过程的一次性密码系统。我们的工作主要涉及整个云计算平台的安全体系。
2013-03-04 cs.CR cs.DC
Cryptanalysis of a more efficient and secure dynamic id-based remote user authentication scheme
2004年,Das,Saxena和Gulati提出了一种基于动态身份的远程用户认证方案,该方案具有无需验证者表、用户可以自由选择和修改口令等优点,但随后的研究表明该方案是完全不安全的,容易受到多种攻击。从那时起,许多计划与改进Das等人的计划已被提出,但每一个都有其优点和缺点。最近,Yan-yan Wang等人提出了一个计划,以克服安全弱点Das等人。的方案。然而,该方案也容易受到各种安全攻击,如密码猜测攻击,伪装攻击,拒绝服务攻击。
2010-04-06 cs.CR
A Forward-secure Efficient Two-factor Authentication Protocol
双因素认证(2FA)方案依赖于知识因素(例如,PIN)和设备占有已经流行起来。这些方案中的一些即使面对强大的对手也仍然是安全的,这些对手(a)观察客户端和服务器之间的流量,以及(b)物理访问客户端的设备或其PIN,或破坏服务器。然而,这些解决方案有几个缺点;即,它们(i)需要客户端记住多个秘密值来证明其身份,(ii)涉及几个模幂运算,以及(iii)在非标准随机预言模型中。在这项工作中,我们提出了一个2FA协议,抵制这样一个强大的对手,同时解决上述缺点。我们的协议要求客户端只记住一个秘密值/PIN,不涉及任何模幂运算,并且是标准模型。这是第一个在不使用可信芯片组的情况下提供这些功能的产品。该协议还比最先进的解决方案降低了高达40%的通信开销。
2022-08-04 cs.CR
Password Protected Smart Card and Memory Stick Authentication Against Off-line Dictionary Attacks
本文研究了口令保护灵巧卡远程认证的安全需求。近年来,人们提出了几种基于口令的认证密钥交换协议。这些协议用于保护客户端和远程服务器之间基于密码的身份验证。在本文中,我们将集中在一个灵巧卡的所有者和灵巧卡之间的基于密码的认证通过一个不可信的读卡器。在典型的场景中,灵巧卡所有者将灵巧卡插入到不可信的读卡器中,并经由读卡器输入密码,以便灵巧卡执行与远程服务器的认证过程。在这种情况下,我们要保证读卡器将来在没有灵巧卡本身的情况下不能冒充卡的所有者。此外,灵巧卡可能被盗。如果发生这种情况,我们希望确保对手不能使用灵巧卡来冒充卡的所有者,即使密码的样本空间可能小到足以被离线对手枚举。在本文的最后,我们进一步扩展我们的研究结果,便携式非防篡改存储设备,如USB记忆棒的凭证存储。
2012-07-23 cs.CR
A Reliable User Authentication and Data Protection Model in Cloud Computing Environments
安全问题是云计算环境中最具挑战性的问题。考虑到这一重要性,本文提出了一种高效可靠的用户身份验证和数据保护模型,以提高基于云的环境的可靠性。相应地,在独立的中间件(Agent)中建立了两个加密过程,以在云服务器中执行用户认证、访问控制和数据保护的过程。AES已被用作云服务器中的对称加密算法,RSA已被用作代理服务器中的非对称加密算法。理论分析表明,由于在用户认证和数据保护过程中采用了双重加密和独立的中间件,与同类模型相比,该模型在面对可能的攻击和不可预测事件时的抵抗能力有了很大的提高。
2015-08-07 cs.CR cs.DC
AuthPDB: Query Authentication for Outsourced Probabilistic Databases
在云计算等发展的推动下,数据管理外包的努力越来越多。缺乏专业知识和计算资源的公司(数据所有者)可以将其数据外包给第三方服务提供商(服务器),该服务提供商提供对外包数据的存储和查询评估服务。外包范例的一个安全问题是外包数据上返回的查询结果的完整性。本文考虑概率数据库的外包,其查询评估具有很高的复杂性。一个不诚实的服务器可能会返回廉价的(和不正确的)查询答案,希望具有较弱计算能力的客户端无法捕获不正确的结果。为了解决这个问题,我们设计了高效的完整性验证方法,用于外包概率数据库上的所有答案和top-k查询评估。我们的实证结果证明了我们的验证方法的有效性和效率。
2019-01-07 cs.CR
Weakness Analysis and Improvement of a Gateway-Oriented Password-Based Authenticated Key Exchange Protocol
最近Abdalla等人提出了一种新的面向网关的客户端、网关和认证服务器之间的基于口令的认证密钥交换(GPAKE)协议,每个客户端与一个可信服务器共享一个人类记忆的口令,这样当客户端想要与网关建立共享会话密钥时,就可以求助于服务器进行认证。在这封信中,我们表明,GPAKE的恶意客户端仍然能够通过执行不可检测的在线密码猜测攻击来获取密码信息,并且不能提供隐式密钥确认。最后,提出了一种针对该攻击的对策.
2010-01-18 cs.CR
Privacy-Preserving Application-to-Application Authentication Using Dynamic Runtime Behaviors
应用程序身份验证通常使用某种形式的秘密凭据(如加密密钥、密码或API密钥)来执行。由于客户端负责安全地存储和管理密钥,因此这种方法很容易受到客户端的攻击。类似地,集中管理的密钥存储也容易受到各种攻击,并且如果受到损害,则可能泄漏凭据。为了解决这些问题,我们提出了一个应用程序身份验证,我们依赖于独特的和可区分的应用程序的行为,在设置阶段锁定密钥,并解锁它进行身份验证。我们的系统在现有的证书认证系统的基础上增加了一个模糊提取层。在密钥注册过程中,从网络中的各种传感器收集的应用程序的行为数据用于隐藏凭证密钥。如果应用程序在身份验证期间的行为与在注册期间收集的行为匹配,模糊提取器将向服务器释放密钥,并具有一定的噪声容限。我们设计了该系统,分析了其安全性,并使用部署在我们网络中的10个实际应用程序对其进行了实施和评估。我们的安全性分析表明,该系统是安全的客户端妥协,保险库妥协,和功能观察。测试结果表明,该方案的误接受率为0,平均误拒绝率为14%,认证成功时间约为51 ms。鉴于这些有希望的结果,我们希望我们的系统是实际使用,因为它的部署需要在服务器上的零到最小的变化。
2022-11-23 cs.CR
An Anonymous On-Street Parking Authentication Scheme via Zero-Knowledge Set Membership Proof
随着越来越多的传感器和物联网设备部署在智慧城市中,所产生的信息量也在增长。对于我们来说,考虑来自外部对手和内部滥用数据访问权限的隐私数据泄漏和身份泄露是至关重要的。系统的安全假设不应仅仅依赖于许可和访问控制得到正确实施这一事实。恰恰相反,系统可以设计成即使系统已经被破坏,用户的身份数据和使用痕迹也不会泄露。基于我们以前的路边停车系统利用蓝牙低功耗(BLE)信标,我们应用了一个加密原语称为零知识证明,我们的认证系统。该方案将承诺方案与Merkle树相结合,实现了零知识集成员证明。这样,用户在认证会话之间对服务器是匿名的,而服务器仍然能够验证该用户的合法性。因此,路边停车系统不受隐私数据泄露的影响,因为现在人们不能在系统内大规模查询和分析某些用户的踪迹。
2021-08-08 cs.CR
Efficacy of Object-Based Passwords for User Authentication
传统的基于文本的密码方案本质上是脆弱的。用户倾向于选择容易记住的密码,这使得他们容易受到多年来已经成熟的各种攻击。ObPwd [5]试图通过将用户选择的数字对象转换为用于用户身份验证的高熵文本密码来解决这些问题。在本文中,我们扩展了ObPwd计划与一个新的基于对象的密码方案,在服务器端执行大部分的计算。本文主要讨论了两种对象密码方案的框架,一种是基于对象散列的方案(客户机计算对象的散列作为文本密码),另一种是基于对象的方案(对象直接作为密码传输到服务器)。我们还使用每个框架的原型评估了两种对象密码方案与传统的基于文本的密码方案的性能。还讨论了易用性,共享和安全方面的影响。
2017-12-23 cs.CR
Comment on A dynamic ID-based Remote User Authentication Scheme
自1981年Lamport提出利用表的远程用户认证方案以来,人们提出了大量的利用表或不利用表的远程用户认证方案。最近Das等人提出了一种基于动态身份的远程用户认证方案。Das等人提出的方案是完全不安全的,使用该方案就像一个开放的服务器访问,不需要口令。
2004-10-05 cs.CR
Weakness in a Mutual Authentication Scheme for Session Initiation Protocol using Elliptic Curve Cryptography
会话初始化协议(SIP)是一种功能强大的信令协议,它控制Internet上的通信,建立、维护和终止会话。SIP支持的服务同样适用于移动和无处不在的计算世界。2009年,Tsai提出了一个认证密钥协商方案作为SIP的增强。最近,Arshad等人证明了Tsai的方案容易受到离线密码猜测攻击和被盗验证者攻击。他们还指出,蔡的方案没有提供已知密钥保密和完美的前向保密。为了克服这些弱点,Arshad等人还提出了一种改进的基于椭圆曲线离散对数问题的SIP双向认证方案,并声称他们的方案可以抵御各种攻击。在本文中,我们做了一个密码分析Arshad等人。的计划,并表明,Arshad等。的方案容易受到密码猜测攻击。
2011-08-20 cs.CR