An application of Alloy to static analysis for secure information flow and verification of software systems

Description

Dissertation (Ph.D. in Computer Science)--Naval Postgraduate School, December 2008. / Dissertation Supervisor: Auguston, Mikhail. "December 2008." Description based on title screen as viewed on January 29, 2009. Includes bibliographical references (p. 87-93). Also available in print.

Links & Downloads

1. http://edocs.nps.edu/npspubs/scholarly/dissert/2008/Dec/08Dec%5FShaffer_PhD.pdf

Tags

Computer security. Computer software

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/301560679
Date	January 2008
Creators	Shaffer, Alan B.
Publisher	Monterey, Calif. : Naval Postgraduate School,
Source Sets	OCLC
Language	English
Detected Language	English
Source	(698 KB)