On the usage of postquantum protocols defined in terms of transformation semi- groups and their homomophisms