Implementation of $2^{n}\,- \,2^{k}\,- \,1$ Modulo Adder Based RFID Mutual Authentication Protocol
A logic of authentication