Results 1 to 10 of about 2,516,508 (290)
IoT: Communication protocols and security threats [PDF]
Internet of Things and Cyber-Physical Systems, 2023 In this study, we review the fundamentals of IoT architecture and we thoroughly present the communication protocols that have been invented especially for IoT technology.
Apostolos Gerodimos +4 more
doaj +4 more sources
SAT and SMT-Based Verification of Security Protocols Including Time Aspects [PDF]
Sensors, 2021 For many years various types of devices equipped with sensors have guaranteed proper work in a huge amount of machines and systems. For the proper operation of sensors, devices, and complex systems, we need secure communication.
Sabina Szymoniak +4 more
doaj +2 more sources
Dynamic Tags for Security Protocols [PDF]
Logical Methods in Computer Science, 2014 The design and verification of cryptographic protocols is a notoriously difficult task, even in symbolic models which take an abstract view of cryptography.
Myrto Arapinis +2 more
doaj +7 more sources
UAVouch: A Secure Identity and Location Validation Scheme for UAV-Networks
IEEE Access, 2021 Emerging surveillance applications of UAV teams rely on secure communication to exchange information, coordinate their movements, and fulfill mission objectives.
Carlos Felipe Emygdio de Melo +6 more
doaj +1 more source
RootLogChain: Registering Log-Events in a Blockchain for Audit Issues from the Creation of the Root
Sensors, 2021 Logging system activities are required to provide credibility and confidence in the systems used by an organization. Logs in computer systems must be secured from the root user so that they are true and fair.
Juan Carlos López-Pimentel +2 more
doaj +1 more source
On the Secure Implementation of Security Protocols [PDF]
Science of Computer Programming, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Pablo Giambiagi, Mads Dam
openaire +2 more sources
Security Verification in the Context of 5G Sensor Networks
Journal of Telecommunications and Information Technology, 2021 In order to develop reliable safety standards for 5G sensor networks (SN) and the Internet of Things, appropriate verification tools are needed, including those offering the ability to perform automated symbolic analysis process.
Piotr Remlein, Urszula Stachowiak
doaj +1 more source
Events in security protocols [PDF]
Proceedings of the 8th ACM conference on Computer and Communications Security, 2001 <p>The events of a security protocol and their causal dependency<br />can play an important role in the analysis of security properties.<br /> This insight underlies both strand spaces and the inductive<br />method. But neither of these approaches builds up the events of<br />a protocol in a compositional way, so that ...
Crazzolara, Federico, Winskel, Glynn
openaire +4 more sources
Methodology of Testing the Security of Cryptographic Protocols Using the CMMTree Framework
Applied Sciences, 2023 Internet communication is one of the significant aspects of modern civilization. People use banking, health, social, or shopping platforms and send a lot of data.
Jacek Piątkowski, Sabina Szymoniak
doaj +1 more source
Synthesizing Secure Protocols [PDF]
, 2007 We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) into a protocol that is secure against a fully active adversary which interacts with an unbounded number of protocol sessions, and has absolute control over the network.
Cortier, Veronique +2 more
openaire +4 more sources