Results 1 to 10 of about 1,277,920 (244)
A transport-independent general purpose cryptographic protocol [PDF]
Adaptivni Sistemi Avtomatičnogo Upravlinnâ, 2022 The article considers the problem of the transport-independent cryptographic protocol. We analyze requirements for general purpose cryptographic protocol. An analysis of existing protocols is performed to highlight their drawbacks. A protocol schema and
К. Лесогорський +1 more
doaj +4 more sources
Analysis of Cryptographic Protocol by Dynamic Epistemic Logic
IEEE Access, 2019 The security of the cryptographic protocols has always been important to ensure proper implementation of a protocol. To assure protocol security, a number of works for analysis and verification of cryptographic protocols have emerged in the literature ...
Xiaojuan Chen, Huiwen Deng
doaj +3 more sources
Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic
Applied Sciences, 2020 The security of cryptographic protocols has always been an important issue. Although there are various verification schemes of protocols in the literature, efficiently and accurately verifying cryptographic protocols is still a challenging research task.
Xiaojuan Chen, Huiwen Deng
doaj +3 more sources
Is it possible to decide whether a cryptographic protocol is secure or not? [PDF]
Journal of Telecommunications and Information Technology, 2002 We consider the so called ``cryptographic protocols`` whose aim is to ensure some security properties when communication channels are not reliable. Such protocols usually rely on cryptographic primitives.
Hubert Comon, Vitaly Shmatikov
doaj +3 more sources
How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif
IEEE AccessThe formal verification of cryptographic protocols has been extensively studied in recent years. To verify the cryptographic protocol security, formal verification tools consider protocol properties as interactive processes involving a cryptographic ...
Takehiko Mieno +3 more
doaj +3 more sources
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 +1 more source
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 +3 more sources
The WeDDa framework for preventing smishing and vishing using protocol agnostic cryptographic trust [PDF]
Scientific ReportsThe global telecommunications infrastructure remains vulnerable to caller identity spoofing, fueling multi-billion dollar smishing and vishing epidemics due to an architectural absence of cryptographic verification.
Mahmoud F. M. Salem +2 more
doaj +2 more sources
TWO-FACTOR AUTHENTICATION PROTOCOL IN ACCESS CONTROL SYSTEMS
Information and Telecommunication Sciences, 2023 Background. To ensure the protection of the biometric access control system used in unsecured communication channels, it is necessary to exclude the storage and transfer, transfer of biometric data as well as sequences generated on their basis. The paper
Ірина Стрелковська +2 more
doaj +1 more source
Nonmonotonic cryptographic protocols [PDF]
Proceedings The Computer Security Foundations Workshop VII, 2002 The paper presents a new method for specifying and analyzing cryptographic protocols. The method offers several advantages over previous approaches. The technique is the first to allow reasoning about nonmonotonic protocols, which are needed for systems that rely on the deletion of information.
Aviel D. Rubin, Peter Honeyman
openaire +2 more sources