This has been moved to http://www.cert.ucr.edu/pubs