On-line Error Detection in a Polynomial Basis Multiplier over GF(2^m) Using Self-Checking Alternating Logic