On the Security of the (F)HMQV Protocol

Sarr, Augustin P.; Elbaz-Vincent, Philippe

doi:10.1007/978-3-319-31517-1_11

Cited by 9 publications

(11 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Approaching the urban environment of Maputo itself as reflecting Portuguese colonialism resonate with reading the very African cityscape as comprising sedimentations of exploitative violence and, more generally, being palimpsests of historical eras (Sarr 2020(Sarr [2016: 103-10). The vision, therefore, of achieving another form of the urban or polis under the guise of the FRELIMO party was key to the implementation of Afro-socialist politics after 1975.…”

Section: A P U T O : F R O M R E V O L U T I O N a R Y U T O P I A mentioning

confidence: 99%

A lesser human? Utopian registers of urban reconfiguration in Maputo, Mozambique

Bertelsen

2021

Social Anthropology

View full text Add to dashboard Cite

In the age of climate change, human life’s pliability is also re‐shaping anthropological debates. For debates centring on the urban domain, questions revolve around flexibility, adaptability and resilience, while in work drawing on the Anthropocene similar ideas of human beings as subsumable to Gaia are emerging. This article reflects on how these perspectives interweave and imply a paradoxical human figure. On the one hand, they convey a being that simultaneously infuses, consumes and transmogrifies the world. Conversely, the human figure is forged by theoretical and analytical orientations that prescribe that one should abandon such a human‐centric reading of the world. The latter aspect is particularly evident in so‐called ‘resilience governance’ discourses. These discourses presuppose a form of becoming less through reinventing humanity and human life as more adaptable to post‐future horizons of always already collapsed ecologies. Critically tracing this paradox, this article probes the urban Anthropocene and its lesser humans as desirable under the aegis of ‘resilience governance’ in Mozambique, crucially also mapping and analysing the involvement of utopic registers in defiance of such developments.

show abstract

Section: A P U T O : F R O M R E V O L U T I O N a R Y U T O P I A mentioning

confidence: 99%

A lesser human? Utopian registers of urban reconfiguration in Maputo, Mozambique

Bertelsen

2021

Social Anthropology

View full text Add to dashboard Cite

show abstract

“…Fig. 6 shows TAGA based on the Fully Hashed Menezes-Qu-Vanstone protocol (FHMQV) [7], [8]. For TAGA we include service and location into the key confirmation step, yielding FHMQV CLS .…”

Section: ) Concept and Securitymentioning

confidence: 99%

“…However, automatic symbolic analysis is still not amenable to protocols that use multiplication in the DH group and addition of exponents such as the AKE protocols with implicit authentication. The MQV [16], and its development to FH-MQV [7], [8] have arguably the best combination of resilience properties while in particular the FHMQV also developed for efficiency. The FHMQV comes with a security proof in a cryptographic security model [7], [8].…”

Section: Appendix a Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Security Analysis and Design for TAGA: a Touch and Go Assistant in the Aerospace Domain

Fröschle,

Kubisch,

Gräfing

2020

Preprint

View full text Add to dashboard Cite

There is currently a drive in the aerospace domain to introduce machine to machine communication over wireless networks to improve ground processes at airports such as refuelling and air conditiong. To this end a session key has to be established between the aircraft and the respective ground unit such as a fuel truck or a pre-conditiong unit. This is to be provided by a 'touch and go assistant in the aerospace domain' (TAGA), which allows an operator to pair up a ground unit and an aircraft present at a parking slot with the help of a NFC system. In this paper, we present the results of our security analysis and co-development of requirements, security concepts, and modular verification thereof. We show that by, and only by, a combination of advanced security protocols and local process measures we obtain secure and resilient designs for TAGA. In particular, the design of choice is fully resilient against long-term key compromises and parallel escalation of attacks.

show abstract

“…Many other variants of HMQV have been proposed in the literature. [24][25][26][27][28][29] In the literature, there is an alternative method to ensure the authentication of the secret key by incorporating the one-way functions in the DH key agreement protocol 12,[30][31][32][33][34][35] in order to confirm the validity of the shared secret key.…”

mentioning

confidence: 99%

Authenticated secret session key using elliptic curve digital signature algorithm

Mehibel

Hamadouche

2021

Security and Privacy

View full text Add to dashboard Cite

Elliptic curve Diffie‐Hellman (ECDH) scheme is the basic key exchange used in elliptic curve cryptography. ECDH is a public key cryptosystem based on the discrete logarithm problem, but is vulnerable to man‐in‐the‐middle attack because it does not authenticate the secret session key. The integration of the elliptic curve digital signature allows authenticating the secret session key of the ECDH scheme (A‐ECDH). However, it is a technique (A‐ECDH) that uses a single random variable and it has been shown in the literature that a single random variable does not make the system secure. Therefore, the use of two random variables has been suggested to secure an authentication scheme. In this paper, a new authentication scheme using the elliptic curve digital signature algorithm is proposed. The performance analysis of the proposed authentication protocol is performed. The comparative results from the perspective of security and computation time showed that the proposed authentication protocol is more efficient in terms of computation time compared to the related works and it provides all the security features.

show abstract

On the Security of the (F)HMQV Protocol

Cited by 9 publications

References 19 publications

A lesser human? Utopian registers of urban reconfiguration in Maputo, Mozambique

A lesser human? Utopian registers of urban reconfiguration in Maputo, Mozambique

Security Analysis and Design for TAGA: a Touch and Go Assistant in the Aerospace Domain

Authenticated secret session key using elliptic curve digital signature algorithm

Contact Info

Product

Resources

About