ASP.NET MVC Framework - 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

UPDATE

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