Jump to ContentJump to Main Navigation

Groups Complexity Cryptology

Managing Editor: Rosenberger, Gerhard / Shpilrain, Vladimir

Editorial Board Member: Blackburn, Simon R. / Conder, Marston / Dehornoy, Patrick / Eick, Bettina / Fine, Benjamin / Gilman, Robert / Grigoriev, Dima / Ko, Ki Hyoung / Kreuzer, Martin / May, Alexander / Mikhalev, Alexander V. / Myasnikov, Alexei / Roman'kov, Vitalii / Sapir, Mark / Thomas, Rick / Tsaban, Boaz / Capell, Enric Ventura / Weil, Pascal

2 Issues per year

Mathematical Citation Quotient 2013: 0.12

Using Decision Problems in Public Key Cryptography

Vladimir Shpilrain1 / Gabriel Zapata2

1Department of Mathematics, The City College of New York, New York, NY 10031, USA. , http://www.sci.ccny.cuny.edu/~shpil

2Department of Mathematics, CUNY Graduate Center, New York, NY 10016, USA.

Citation Information: Groups – Complexity – Cryptology. Volume 1, Issue 1, Pages 33–49, ISSN (Online) 1869-6104, ISSN (Print) 1867-1144, DOI: 10.1515/GCC.2009.33, February 2010

Publication History

Received:
2007-10-09
Published Online:
2010-02-18

There are several public key establishment protocols as well as complete public key cryptosystems based on allegedly hard problems from combinatorial (semi)group theory known by now. Most of these problems are search problems, i.e., they are of the following nature: given a property and the information that there are objects with the property , find at least one particular object with the property . So far, no cryptographic protocol based on a search problem in a non-commutative (semi)group has been recognized as secure enough to be a viable alternative to established protocols (such as RSA) based on commutative (semi)groups, although most of these protocols are more efficient than RSA is.

In this paper, we suggest to use decision problems from combinatorial group theory as the core of a public key establishment protocol or a public key cryptosystem. Decision problems are problems of the following nature: given a property and an object , find out whether or not the object has the property .

By using a popular decision problem, the word problem, we design a cryptosystem with the following features: (1) Bob transmits to Alice an encrypted binary sequence which Alice decrypts correctly with probability “very close” to 1; (2) the adversary, Eve, who is granted arbitrarily high (but fixed) computational speed, cannot positively identify (at least, in theory), by using a “brute force attack”, the “1” or “0” bits in Bob's binary sequence. In other words: no matter what computational speed we grant Eve at the outset, there is no guarantee that her “brute force attack” program will give a conclusive answer (or an answer which is correct with overwhelming probability) about any bit in Bob's sequence.

Comments (0)

Please log in or register to comment.
Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.