Fixed the MAC algorithm description. Still need to prove why its secure.