Results 21 to 30 of about 2,516,508 (290)
Holistic analysis of mix protocols [PDF]
, 2011 Security protocols are often analysed in isolation as academic challenges. However, the real world can require various combinations of them, such as a certified email protocol executed over a resilient channel, or the key registration protocol to ...
Denis Butin +8 more
core +2 more sources
Attacking Group Protocols by Refuting Incorrect Inductive Conjectures [PDF]
, 2005 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 +3 more
core +1 more source
A Survey of Energy Efficient Security Architectures and Protocols for Wireless Sensor Networks
Journal of Telecommunications and Information Technology, 2012 Data security and energy aware communication are key aspects in design of modern ad hoc networks. In this paper we investigate issues associated with the development of secure IEEE 802.15.4 based wireless sensor networks (WSNs) – a special type of ad ...
Krzysztof Daniluk +1 more
doaj +1 more source
Sensors, 2023 Internet of Things (IoT) applications have been increasingly developed. Authenticated key agreement (AKA) plays an essential role in secure communication in IoT applications.
Haiyan Sun +4 more
doaj +1 more source
A security layer for JXTA core protocols [PDF]
, 2009 JXTA define un conjunto de seis protocolos básicos especialmente adecuados para una computación ad hoc, permanente, multi-hop, peer-to-peer (P2P). Estos protocolos permiten que los iguales cooperen y formen grupos autónomos de pares.
Joan Arnedo-Moreno +3 more
core +1 more source
A decidable class of security protocols for both reachability and equivalence properties [PDF]
, 2020 We identify a new decidable class of security protocols, both for reachability and equivalence properties. Our result holds for an unbounded number of sessions and for protocols with nonces. It covers all standard cryptographic primitives. Our class sets
Sundararajan, Vaishnavi +2 more
core +6 more sources
Towards a Fraud-Prevention Framework for Software Defined Radio Mobile Devices
EURASIP Journal on Wireless Communications and Networking, 2005 The superior reconfigurability of software defined radio mobile devices has made it the most promising technology on the wireless network and in the communication industry. Despite several advantages, there are still a lot to discuss regarding security,
Brawerman Alessandro, Copeland John A
doaj +2 more sources
Frontiers in Physics, 2023 Quantum secret sharing (QSS) protocols without entanglement have showed high security by virtue of the characteristics of quantum mechanics. However, it is still a challenge to compare the security of such protocols depending on quantitative security ...
Juan Xu +10 more
doaj +1 more source
Typing messages for free in security protocols [PDF]
, 2019 International audienceSecurity properties of cryptographic protocols are typically expressed as reachability or equivalence properties. Secrecy and authentication are examples of reachability properties while privacy properties such as untraceability ...
Dallon, Antoine +3 more
core +1 more source
Provable security of internet protocols [PDF]
, 2017 Secure communications over the Internet are typically established by first running an authenticated key exchange protocol, which computes a secret key between two users, which is then utilised in an encryption protocol.
Dowling, Benjamin James
core +1 more source