[Cohen97] F. Cohen A Secure World-Wide-Web Server, IFIP-TC11, Computers and Security, 1997. [This paper details the design and analysis of secure World Wide Web and Gopher servers, including detailed analysis of the code.]