Now you can download some late arriving presentations from SANS Network Security 2000 last October 15 - 22 in Monterey. Just click on the title of the presentation you're interested in to access the PDF file. Brief session descriptions are provided . . .
Now you can download some late arriving presentations from SANS Network Security 2000 last October 15 - 22 in Monterey. Just click on the title of the presentation you're interested in to access the PDF file. Brief session descriptions are provided below each titleEND>

This talk presents several approaches to testing programs for security problems. Beginning with a discussion of the environment in which programs run, we look at formal specification and verification, and show how to modify these rigorous techniques into something every programmer can use. Lots of examples will be presented, as well as a sample analysis of a security-related program.

The link for this article located at SANS is no longer available.