1. Key exchange protocol defined over a non-commuting group based on an NP-complete decisional problem