Results 51 to 60 of about 684,168 (248)
Journal of Telecommunications and Information Technology, 2002 Secure communication generally begins with a~connection establishment phase in which messages are exchanged by client and server protocol software to generate, share, and use secret data or keys. This message exchange is referred to as an authentication
Jonathan K. Millen, Grit Denker
doaj +1 more source
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
Time Resolved DNA Barcodes for Information Encoding and Dynamic Encryption
Advanced Science, EarlyView.This study establishes a molecular information platform based on DNA Temporal Barcodes. Information is encoded through combinations of DNA tags with distinct retention times, while dynamic encryption is achieved through a key‐triggered DNA ligation.
Likang Chu +7 more
wiley +1 more source
Automatic verification of cryptographic protocols: privacy-type properties [PDF]
, 2012 Many tools have been developed to automatically verify security properties on cryptographic protocols. But until recently, most tools focused on trace properties (or reachability properties) such as authentication and secrecy.
Cheval, Vincent
core
Verifying Privacy-Type Properties in a Modular Way [PDF]
, 2012 Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlink ability) that play an important role in many modern applications are formalised ...
Arapinis, M.; id_orcid +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
Integration of Reconfigurable p‐Bit and 1R Crossbar Array for Memristive Probabilistic Computing
Advanced Science, EarlyView.A memristive probabilistic computing system is demonstrated by integrating stochastic p‐bits based on volatile memristors with a 1R crossbar array encoding interaction weights. The system performs weighted‐sum operations across the array and updates p‐bits iteratively.
Keunho Soh +7 more
wiley +1 more source
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures [PDF]
, 2004 Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party protocols may not be able to model a group protocol, or its intended security ...
Graham Steel +5 more
core +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
Advanced Science, EarlyView.A magneto‐ionic security‐by‐materials‐design strategy exploits voltage‐driven N3– migration in selectively contacted FeCoN dots, creating reconfigurable sub‐15 nm ferromagnetic sublayers with deterministic and/or probabilistic (single‐domain↔vortex) states, voltage‐tunable probabilities and fully stochastic orientation/chirality.
Irena Spasojevic +4 more
wiley +1 more source