A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA - Computer security software - Document - PDFSEARCH.IO

First Page	Meta Content
	A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA Add to Reading List Document Date: 2008-05-06 17:12:31 Open Document File Size: 247,72 KB Share Result on Facebook

A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA Add to Reading List