Results 61 to 70 of about 5,331 (209)
On the Reachability Problem in Cryptographic Protocols [PDF]
, 2000 We study the verification of secrecy and authenticity properties for cryptogra- phic protocols which rely on symmetric shared keys. The verification can be reduced to check whether a certain parallel program which models the protocol and the specification can reach an erroneous state while interacting with the environment.
Amadio, Roberto M., Lugiez, Denis
openaire +2 more sources
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
ENERGY &ENVIRONMENTAL MATERIALS, EarlyView.This work reveals a “Photovoltaic‐Capacitance” coupling mechanism in stacked Ga2O3/ZnO devices, defining the ZnO/graphene interface as a novel Photovoltaic Dynamic‐Capacitor (PDC). The wavelength‐selective bipolar response enables a physical layer secure communication protocol based on ternary optical logic (“1,” “0,” “−1”).
Songqi Zhao +6 more
wiley +1 more source
A Calculus for Cryptographic Protocols: The Spi Calculus
Information and Computation, 1997 We introduce the spi calculus, an extension of the pi calculus designed for the description and analysis of cryptographic protocols. We show how to use the spi calculus, particularly for studying authentication protocols. The pi calculus (without extension) suffices for some abstract protocols; the spi calculus enables us to consider cryptographic ...
Martín Abadi, Andrew D. Gordon 0001
openaire +2 more sources
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
Energy Science &Engineering, EarlyView.By manipulating current and voltage measurements, an assailant can induce unwanted relay action while attempting to avoid detection. Detecting advanced cyber intrusions in power protection environments requires specialised data analysis and anomaly detection methods.
Feras Alasali +6 more
wiley +1 more source
Energy Science &Engineering, EarlyView.This paper proposes a decentralized peer‐to‐peer federated learning framework for wind turbine bearing remaining useful life prediction, introducing a virtual client paradigm in which statistical health indicators serve as independent feature‐level clients—enabling privacy‐preserving collaborative prognostics from a single physical asset under ...
Jihene Sidhom +2 more
wiley +1 more source
Ridra: A Rigorous Decentralized Randomized Authentication in VANETs
IEEE Access, 2018 Ensuring the security and privacy of vehicle is one of the critical requirements for the safety and reliability of vehicular ad hoc networks. A variety of (conditional) anonymous authentication schemes, including group/ring signatures, pseudo-identity ...
Cong Sun +4 more
doaj +1 more source
Major Cybersecurity Breaches: Shaping Corporate Cybersecurity Policies and Closing the Gaps
Journal of Corporate Accounting &Finance, EarlyView.ABSTRACT As digitalization accelerates, cybercrime has intensified in both scale and impact over the past two decades. This study aims to critically examine major cybersecurity events, assess them through the lens of routine activity theory, examine insight from three other established criminological and organizational theories, and address central ...
Laura K. Rickett, Deborah Smith
wiley +1 more source
On Matrix‐Based Cryptography Using Matrix Norm and Special Integer Sequences
Mathematische Nachrichten, EarlyView.ABSTRACT In this paper, a novel matrix‐based encryption approach based on the Affine Hill cipher is presented. The key matrix is constructed using the Narayana integer sequence, and the Frobenius norm of the key matrix is used as a scaling factor in the key construction.
Melih Göcen +1 more
wiley +1 more source