Results 31 to 40 of about 823,308 (297)
Automated Verification of Group Key Agreement Protocols [PDF]
2014 IEEE Symposium on Security and Privacy, 2014 We advance the state-of-the-art in automated symbolic cryptographic protocol analysis by providing the first algorithm that can handle Diffie-Hellman exponentiation, bilinear pairing, and AC-operators. Our support for AC-operators enables protocol specifications to use multisets, natural numbers, and finite maps.
Benedikt Schmidt 0002 +3 more
openaire +1 more source
Stronger security model of group key agreement [PDF]
Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security, 2011 In PKC 2009, Gorantla, Boyd and Gonzalez Nieto presented a nice result on modelling security for group key agreement (GKA) protocols. They proposed a novel security model (GBG model) that better supports the adversaries' queries than previous models for GKA protocols by considering KCI resilience.
Jianjie Zhao +2 more
openaire +2 more sources
Group Key Agreement Protocol Based on Privacy Protection and Attribute Authentication
IEEE Access, 2019 Group key agreement is a good way to ensure secure communication within a group. However, the identity authentication, privacy protection, and information sharing access control (different access rights may exist for different sensitivity of information)
Zhang Qikun +5 more
doaj +1 more source
Tongxin xuebao, 2023 Aiming at the problem that the current batch authentication and key agreement protocol were relied on semi-trusted road side unit (RSU) and were not suitable for key update in large-scale Internet of vehicles (IoV), a ring-based efficient batch ...
Haibo ZHANG +5 more
doaj +2 more sources
IEEE Access, 2022 4G mobile communication is a global technology. Therefore, it is essential to enforce confidentiality between mobile users and their networks. This paper presents a Group Security Authentication and Key Agreement Protocol Built by Elliptic Curve Diffie ...
Karim H. Moussa +3 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
EAP-Based Group Authentication and Key Agreement Protocol for Machine-Type Communications
International Journal of Distributed Sensor Networks, 2013 Machine to machine (M2M) communications, also called machine-type communications (MTC), has widely been utilized in applications such as telemetry, industrial, automation, and SCADA systems.
Rong Jiang +4 more
doaj +1 more source
Group Key Agreement From Signcryption
KSII Transactions on Internet and Information Systems, 2012 There is an intuitive connection between signcryption and key agreement. Such a connector may lead to a novel way to construct authenticated and efficient group key agreement protocols. In this paper, we present a primary approach for constructing an authenticated group key agreement protocol from signcryption.
Xixiang Lv, Hui Li 0006
openaire +1 more source
Formal verification of secure group communication protocols modelled in UML [PDF]
, 2010 The paper discusses an experience in using UML and two complementary verification tools in the framework of SAFECAST, a project on secured group communication systems design. AVISPA enabled detecting and fixing security flaws.
Chridi, Najah +9 more
core +1 more source
Communication-Efficient Group Key Agreement [PDF]
, 2001 Traditionally, research in secure group key agreement focuses on minimizing the computational overhead for cryptographic operations, and minimizing the communication overhead and the number of protocol rounds is of secondary concern. The dramatic increased in computation power that we witnessed during the past years exposed network delay in WANs as the
Yongdae Kim, Adrian Perrig, Gene Tsudik
openaire +1 more source