Formal security proof for a scheme on a topological network

DOI10.3934/AMC.2021009MaRDI QIDQ6112255zbMATH OpenOpenAlexFDO

Authors Roberto Civino, Riccardo Longo

Publication date 7 July 2023

Published in Advances in Mathematics of Communications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3934/amc.2021009

zbMATH Keywords

discrete logarithm problemelliptic curve cryptographyformal securitykey establishment protocolskey indistinguishabilitykey recovery

Mathematics Subject Classification ID

Elliptic curves over local fields (11G07) Elliptic curves (14H52) Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62) Applications of graph theory to circuits and networks (94C15)

Recommendations

• Security and Tradeoffs of the Akl-Taylor Scheme and Its Variants
• Variations on a theme by Akl and Taylor: security and tradeoffs
• scientific article; zbMATH DE number 2204017
• scientific article; zbMATH DE number 6538092
• Bounds and constructions for key distribution schemes

Cites work

• An authenticated key scheme over elliptic curves for topological networks
• scientific article; zbMATH DE number 1186931 (Why is no real title available?)
• New directions in cryptography
• The Arithmetic of Elliptic Curves

Cited in

(1)

• An authenticated key scheme over elliptic curves for topological networks

This page was built for publication: Formal security proof for a scheme on a topological network

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6112255)