Results 21 to 30 of about 579 (46)
LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols
IEEE Access, 2019 Nowadays, more and more new cryptographic protocols are emerging, and the security analysis of emerging cryptographic protocols is increasingly important.
Jiawen Song +4 more
doaj +1 more source
A Secure User Authentication Protocol for Heterogeneous Mobile Environments
IEEE Access, 2022 Mobile devices have become very important for our daily needs. The user authentication protocols with the key agreement are required to deal with the security issues that arise from the use of mobile devices through Internet applications.
Alzubair Hassan +7 more
doaj +1 more source
Persistent asymmetric password-based key exchange
Journal of Mathematical Cryptology, 2014 Asymmetric password based key exchange is a key exchange protocol where a client and a server share a low entropic password while the server additionally owns a high entropic secret with respect to a public key. There are simple solutions for this, e.g.,
Jiang Shaoquan
doaj +1 more source
Agile and Versatile Quantum Communication: Signatures and Secrets
Physical Review X, 2021 Agile cryptography allows for a resource-efficient swap of a cryptographic core in case the security of an underlying classical cryptographic algorithm becomes compromised.
Stefan Richter +9 more
doaj +1 more source
Fair Exchange in Strand Spaces [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 Many cryptographic protocols are intended to coordinate state changes among principals. Exchange protocols coordinate delivery of new values to the participants, e.g. additions to the set of values they possess. An exchange protocol is fair if it ensures
Joshua D. Guttman
doaj +1 more source
On the cryptographic properties of “Limonnik-3” AKE scheme
Безопасность информационных технологий, 2019 We study the “Limonnik-3” authenticated key exchange protocol which is a part of Standardization recommendations R 1323565.1.004-2017 “Authenticated key agreement schemes based on public keys”, officially adopted in Russia in 2017, alongside with the ...
Sergey V. Grebnev
doaj +1 more source
cryptographic Primitives: Insertions, Examples and Open Problems
Безопасность информационных технологий, 2014 Cryptographic primitives are considered. Each of cryptographic primitives can be the basis for building more complex cryptographic protocol. Examples of insertion of cryptographic primitives are given. The problems arising at the proof of security of the
Stanislav Olegovich Dordzhiev +1 more
doaj
A secure mutual authentication procedure, generate the key fiscal basis, and fiscal data protection
Безопасность информационных технологий, 2018 The paper describes cryptographic transformation for mutual authentication and creation of the fiscal sign key. This transformation based on using block encryption cipher named «Kuznetchik», described in the national standard of the Russian Federation ...
Igor Y. Zhukov, Oleg N. Murashov
doaj +1 more source
Authentication and common key generation cryptographic protocol for vehicle tachographs
Безопасность информационных технологий, 2017 We present a public key generation protocol. The key is used for subscriber authentication in tachographs installed on vehicles in order to provide traffic safety. The protocol is based on the well-known Russian cryptographic algorithms.
Victor S. Gorbatov +2 more
doaj +1 more source
Model checking of trusted cryptographic module
Tongxin xuebao, 2010 The formal security analysis was given for the trusted cryptographic module according to the specification of the trusted cryptographic module using model checking tools. The flaws in the AP protocol were pointed and the solution was given.
CHEN Xiao-feng, FENG Deng-guo
doaj +2 more sources