Anup K. Ghosh Certifying E-Commerce Software for Security. 64-67 1999 WECWIS http://computer.org/proceedings/wecwis/0334/03340064abs.htm db/conf/wecwis/wecwis1999.html#Ghosh99