Design and analysis of a secure agent-based mobile bill payment protocol for bulk transactions | IEEE Conference Publication | IEEE Xplore