Results 21 to 30 of about 361,970 (307)
Composing security protocols: from confidentiality to privacy [PDF]
, 2015 Security protocols are used in many of our daily-life applications, and our privacy largely depends on their design. Formal verification techniques have proved their usefulness to analyse these protocols, but they become so complex that modular ...
Arapinis, Myrto +6 more
core +1 more source
Satellite Quantum Communications When Man-in-the-Middle Attacks Are Excluded
Entropy, 2019 An application of quantum communications is the transmission of qubits to create shared symmetric encryption keys in a process called quantum key distribution (QKD). Contrary to public-private key encryption, symmetric encryption is considered safe from (
Tom Vergoossen +3 more
doaj +1 more source
Safe abstractions of data encodings in formal security protocol models [PDF]
, 2014 When using formal methods, security protocols are usually modeled at a high level of abstraction. In particular, data encoding and decoding transformations are often abstracted away.
Pironti, Alfredo, Sisto, Riccardo
core +1 more source
A Generic Variant of NIST’s KAS2 Key Agreement Protocol [PDF]
, 2011 We propose a generic three-pass key agreement protocol that is based on a certain kind of trapdoor one-way function family. When specialized to the RSA setting, the generic protocol yields the so-called KAS2 scheme that has recently been standardized by NIST.
Sanjit Chatterjee +2 more
openaire +1 more source
Physical Layer Key Generation in 5G and Beyond Wireless Communications: Challenges and Opportunities
Entropy, 2019 The fifth generation (5G) and beyond wireless communications will transform many exciting applications and trigger massive data connections with private, confidential, and sensitive information.
Guyue Li +5 more
doaj +1 more source
Integrated Protocols to Ensure Security Services in Wireless Sensor Networks
International Journal of Distributed Sensor Networks, 2013 Security in current/next generation wireless sensor network (WSN) is challenging, due to its special characteristics and the scarcity of energy, and processing power.
Mohammed Faisal +2 more
doaj +1 more source
Authenticated secret key generation in delay-constrained wireless systems
EURASIP Journal on Wireless Communications and Networking, 2020 With the emergence of 5G low-latency applications, such as haptics and V2X, low-complexity and low-latency security mechanisms are needed. Promising lightweight mechanisms include physical unclonable functions (PUF) and secret key generation (SKG) at the
Miroslav Mitev +3 more
doaj +1 more source
IEEE Access, 2020 The Internet of Things (IoT) is a transformative technology, which is revolutionizing our everyday life by connecting everyone and everything together. The massive number of devices are preferably connected wirelessly because of the easy installment and ...
Junqing Zhang +4 more
doaj +1 more source
Packet switching in quantum networks: A path to the quantum Internet
Physical Review Research, 2022 Large-scale quantum networks with thousands of nodes require scalable network protocols and physical hardware to realize. In this paper, we introduce packet switching as a paradigm for quantum data transmission in both future and near-term quantum ...
Stephen DiAdamo +4 more
doaj +1 more source
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures
, 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