Results 101 to 110 of about 2,146,136 (293)
On the cryptographic properties of “Limonnik-3” AKE scheme
Безопасность информационных технологий, 2019 We study the “Limonnik-3” authenticated key exchange protocol which is a part of Standardization recommendations R 1323565.1.004-2017 “Authenticated key agreement schemes based on public keys”, officially adopted in Russia in 2017, alongside with the ...
Sergey V. Grebnev
doaj +1 more source
Toward a Greener Future: How and When Blockchain and Digitization Drive Green Finance
Business Strategy and the Environment, EarlyView.ABSTRACT The COVID‐19 pandemic has significantly affected small‐ and medium‐sized enterprises (SMEs) and poses challenges in acquiring financing. Growing green investments require transformative infrastructure and innovative green financing solutions. Blockchain technology is ideal for delivering green environmental information because it provides real‐
Sikandar Rahman +7 more
wiley +1 more source
Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]
, 2010 Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Pironti, Alfredo, Sisto, Riccardo
core +1 more source
Cryptographic protocol logic: Satisfaction for (timed) Dolev-Yao cryptography
J. Log. Algebraic Methods Program., 2008 This article is about a breadth-first exploration of logical concepts in cryptography and their linguistic abstraction and model-theoretic combination in a comprehensive logical system, called CPL (for Cryptographic Protocol Logic).
S. Kramer
semanticscholar +1 more source
A standard-driven communication protocol for disconnected clinics in rural areas [PDF]
, 2011 The importance of the Electronic Health Record (EHR), which stores all healthcare-related data belonging to a patient, has been recognized in recent years by governments, institutions, and industry. Initiatives like Integrating the Healthcare Enterprise (
R. Pugliese +7 more
core +1 more source
Securing Communication in 6LoWPAN with Compressed IPsec [PDF]
, 2011 Real-world deployments of wireless sensor networks (WSNs) require secure communication. It is important that a receiver is able to verify that sensor data was generated by trusted nodes.
Raza, Shahid +12 more
core +1 more source
The Application of Telemedicine in Surgery
Med Research, EarlyView.This figure provides an overview of the content presented in this article. Telemedicine is integrated throughout the entire surgical workflow, with distinct applications across the preoperative, intraoperative, and postoperative phases. These applications are enabled by a suite of supporting technologies, while the associated implementation challenges ...
Yufan Yang +8 more
wiley +1 more source
Multiparty Quantum Cryptographic Protocol
Chinese Physics Letters, 2008 12 pages, 1 .eps figure, 3 ...
Ramzan, M., Khan, M. K.
openaire +2 more sources
When private set intersection meets big data : an efficient and scalable protocol
, 2013 Large scale data processing brings new challenges to the design of privacy-preserving protocols: how to meet the increasing requirements of speed and throughput of modern applications, and how to scale up smoothly when data being protected is big ...
Chen, Liqun +5 more
core +1 more source
Analysis of cyberspace security based on game theory
网络与信息安全学报, 2015 Information security economics is an important research area and game theory is one of the main basic theories and tools of cyberspace security.Based on game theory,the main problems of cyberspace securing were analyzed which including network attack and
Jian-ming ZHU, Qin WANG
doaj +3 more sources