Results 51 to 60 of about 63,614 (274)
On Some Cryptographic Protocol
Schedae Informaticae, 2021 In this paper we present a cryptographic protocol for a seller - buyer problem and in particular we prove that non-emptiness of a semi-commutative set defined by mappings involved in the protocol is a decidable problem.
openaire +3 more sources
C# parser for extracting cryptographic protocols structure from source code
Труды Института системного программирования РАН, 2019 Cryptographic protocols are the core of any secure system. With the help of them, data is transmitted securely and protected from third parties' negative impact.
Ilya Aleksandrovich Pisarev +1 more
doaj +1 more source
npj Quantum Information, 2022 Anonymity in networked communication is vital for many privacy-preserving tasks. Secure key distribution alone is insufficient for high-security communications.
Zixin Huang +14 more
doaj +1 more source
, 2006 We investigate the error tolerance of quantum cryptographic protocols using $d$-level systems. In particular, we focus on prepare-and-measure schemes that use two mutually unbiased bases and a key-distillation procedure with two-way classical ...
A. Acín +8 more
core +1 more source
Monitoring approach for online security of cryptographic protocol
Tongxin xuebao, 2016 Previous methods can not detect the low-interaction attacks of protocol logic.A cryptographic protocol online monitoring approach named CPOMA was presented.An ontology framework of cryptographic protocol features was constructed for the unified ...
Yu-na ZHU +5 more
doaj +2 more sources
A survey on the application of blockchain in cryptographic protocols
CybersecurityWith the continuous development of network technology, cryptographic protocols are facing diverse and complex security challenges. Blockchain technology, as a solution incorporating decentralization, traceability, programmability, and immutability ...
Xiangyang Luo +3 more
doaj +1 more source
Quantum Emitters in Hexagonal Boron Nitride: Principles, Engineering and Applications
Advanced Functional Materials, EarlyView.Quantum emitters in hexagonal boron nitride have emerged as a promising candidate for quantum information science. This review examines the fundamentals of these quantum emitters, including their level structures, defect engineering, and their possible chemical structures.
Thi Ngoc Anh Mai +8 more
wiley +1 more source
A bisimulation method for cryptographic protocols [PDF]
, 1998 Summary: We introduce a definition of bisimulation for cryptographic protocols. The definition includes a simple and precise model of the knowledge of the environment with which a protocol interacts. Bisimulation is the basis of an effective proof technique, which yields proofs of classical security properties of protocols and also justifies certain ...
Andrew D. Gordon, Martín Abadi
openaire +3 more sources
Cryptographic protocols with everyday objects [PDF]
Formal Aspects of Computing, 2014 Abstract Most security protocols appearing in the literature make use of cryptographic primitives that assume that the participants have access to some sort of computational device. However, there are times when there is need for a security mechanism to evaluate some result without leaking sensitive information, but computational devices are ...
Heather, J, Schneider, S, Teague, V
openaire +4 more sources
Advanced Materials, EarlyView.A novel three‐terminal PeLET device vertically integrated through a permeable electrode expands additional functionality beyond conventional two‐terminal devices. the specific mechanism is elucidated of E‐field penetration from the integrated capacitor unit to the LED via transient electroluminescence measurements. The PeLET device enables dual‐channel
Seungmin Shin +5 more
wiley +1 more source