Presentations from SANS Network Security 2000
Source: SANS - Posted by Benjamin D. Thomas   
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.

Read this full article at SANS

Only registered users can write comments.
Please login or register.

Powered by AkoComment!