Results 1 to 10 of about 68,965 (224)
A Rational Approach to Cryptographic Protocols [PDF]
Mathematical and Computer Modelling, 2010 This work initiates an analysis of several cryptographic protocols from a rational point of view using a game-theoretical approach, which allows us to represent not only the protocols but also possible misbehaviours of parties.
Asokan +9 more
core +3 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
exaly +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 +1 more source
A transport-independent general purpose cryptographic protocol
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 +1 more source
Sequential rationality in cryptographic protocols [PDF]
ACM Transactions on Economics and Computation, 2010 Much of the literature on rational cryptography focuses on analyzing the strategic properties of cryptographic protocols. However, due to the presence of computationally-bounded players and the asymptotic nature of cryptographic security, a definition of sequential rationality for this setting has thus far eluded researchers.We propose a new framework ...
Ronen Gradwohl, Noam Livne, Alon Rosen
openaire +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 +1 more source
Cryptographic mechanisms for secure interaction of control and measuring devices
Безопасность информационных технологий, 2020 The paper describes the key features of the cryptographic protocol providing secure interaction between control and measuring devices. The hierarchical structure underlying this protocol and the relationship between the transport and session levels of ...
Alexey Yu. Nesterenko +1 more
doaj +1 more source
Cryptographic Protocol with Keyless Sensors Authentication for WBAN in Healthcare Applications
Applied Sciences, 2023 Nowadays, technological advances provide people with more facilities and luxuries in life. Medicine is no exception; for example, different wireless sensors can be used to monitor patients’ state of health.
Kevin Andrae Delgado-Vargas +2 more
doaj +1 more source