A Security Domain Model for Static Analysis and Verification of Software Programs

Authors:

Alan B. Shaffer

Publication Venue:

20th International Conference on Software Engineering and Knowledge Engineering (SEKE)

When Published:

Jul 1 2008

URL:

Attachment	Size
SEKE08-Shaffer.pdf	247.72 KB

by abshaffe

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte

Search