The FIDO protocol suite aims at allowing users to log in to remote services with a local and
trusted authenticator. With FIDO, relying services do not need to store user-chosen secrets …

OpenID Connect (OIDC) is one of the most widely used delegated authentication protocols
in web and mobile applications providing a single sign-on experience. It allows third-party …

In recent years, the internet of things has been widely utilized in various fields, such as in
smart factories or connected cars. As its domain of application has expanded, it has begun …

Challenge-response authentication is an essential and omnipresent network service. Thus,
it is a lucrative target for attackers to transport covert information. We present two covert …

The FIDO protocol suite aims at allowing users to log in to remote services with a local and
trusted authenticator. With FIDO, relying services do not need to store user-chosen secrets …

Smart speakers, such as Alexa and Google Home, support daily activities in smart home
environments. Even though voice commands enable friction-less interactions, existing …

Most of the authentication protocols which have been proposed so far are vulnerable to
security attacks, and none of them provides non-repudiation property. Therefore, this paper …

This paper presents a new method for mutual authentication in centralized cognitive radio
networks. In doing so, we analyzed the proposed scheme in terms of security and …

Signal is a popular cryptographic protocol designed by the Open Whisper System that
delivers end-to-end encryption for instant messaging (IM) conversations. Furthermore …

随着安全协议形式化分析技术的不断发展, 利用工具自动验证虽已得到实现,
但建模环节仍需依赖专业人员手工建模, 难度大且成本高, 限制了此技术的进一步推广 …