Properties of certain semigroups and their potential as platforms for cryptosystems (Q5962339)

The authors study some basic properties of certain semigroups with presentation \(S(p,r,q,s)=\) \(\left<a,b;a^p=b^r,a^q=b^s\right>\). They provide complete rewriting system of rules for \(S(p,r,q,s)\) and derive normal forms of \(S(p,r,q,s)\) from it. Finally they consider potential of studied semigroups as a platforms for the Diffie-Hellman key exchange protocol and provide the worked example.