A verifiable and secure protocol for sealed-bid auction sytems : formal design and application - Mohammad Zahidur Rahman (2001)