A Novel Key Exchange Protocol using Logic Algebra for the Factorization Problem