An efficient batch verification system and its effect in a real time VANET environment. Issue 2 (18th March 2014)