Non-abelian key agreement protocols

  • Authors:
  • Iris Anshel;Michael Anshel;Dorian Goldfeld

  • Affiliations:
  • Arithmetica Inc., 31 Peter Lynas Ct, Tenafly, NJ;Department of Computer Science, City College of New York, New York, NY;Department of Mathematics, Columbia University, New York

  • Venue:
  • Discrete Applied Mathematics - Special issue on the 2000 com2MaC workshop on cryptography
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

A key-agreement protocol (KAP) is a multi-party algorithm defined by a sequence of steps specifying the actions required for two or more individuals to each obtain a shared secret. A brief introduction to an axiomatic basis for non-abelian KAPs is presented. The security of these protocols is related to the difficulty of solving equations in non-linear algebraic structures. In particular, it is shown that well known hard problems in group theory can be used to generate key agreement protocols. Concrete examples of such KAPs are discussed and the axiomatic method is shown to subsume other braid group KAPs. The paper concludes with a snapshot of methods and examples currently under investigation.