Software Infrastructure for Electronic Commerce Professor Fred B. Schneider Dept. of Computer Science Cornell University.