EDUCATION:

• Ph.D., Computer Science: Naval Postgraduate School, 2008
• M.S., Computer Science: Naval Postgraduate School, 1995
• B.S., Computer Science: U.S. Naval Academy, 1986 (7 consecutive Bowl Games and counting...)

• My PhD genealogy dating back to 1666.

RESEARCH INTERESTS:

• Security domain modeling
• High assurance systems
• Secure systems requirements verification
• Covert channel analysis

TEACHING:

• CS2020 - Introduction to Programming (4-2)
• CS3021 - Introduction to Data Structures and Intermediate Programming (4-2)
• CS3600 - Information Assurance: Introduction to Computer Security (4-2)
• CS3670 - Information Assurance: Secure Management of Systems (3-2) 
• CS4650 - Fundamentals of Information Systems Security Engineering (3-1)

PUBLICATIONS:

• Shaffer, A., Auguston, M., Irvine, C., and Levin, T. (2008). A Security Domain Model for Static Analysis and Verification of Software Systems, Manuscript submitted for publication to Computers and Security Journal special issue on "Software Engineering for Secure Systems"
• Shaffer, A., Auguston, M., Irvine, C. and Levin, T. (2008). A Security Domain Model for Implementing Trusted Subject Behaviors. Proceedings of the 2008 Modeling Security Workshop (MODELS'08), September 2008, Toulouse, France.
• Shaffer, A. (2008). A Security Domain Model for Static Analysis and Verification of Software Programs. Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering (SEKE'08), July 2008, Redwood City, California.
• Shaffer, A., Auguston, M., Irvine, C. and Levin, T. (2008). A Security Domain Model to Assess Software for Exploitable Covert Channels. Proceedings of the ACM SIGPLAN Third Workshop on Programming Languages and Analysis for Security (PLAS'08), June 2008, Tucson, Arizona. ACM Press.
• Shaffer, A., Auguston, M., Irvine, C. and Levin, T. (2007). Toward a Security Domain Model for Static Analysis and Verification of Information Systems. Proceedings of the 7th OOPSLA Workshop on Domain-Specific Modeling (DSM'07), October 2007, Montreal, Canada.
• Lentz, Fred C., Shaffer, Alan B., Pratt, David R., Falby, John S., Zyda, Michael J. (1995). NPSNET: Naval Training Integration. Proceedings of the 13th DIS Workshop, 18-22 September, 1995, Orlando, Florida, pp. 107-112.

THESES:

• Shaffer, Alan (2008). An Application of Alloy to Static Analysis for Secure Information Flow and Verification of Software Systems. Doctoral Dissertation, Naval Postgraduate School, December 2008.
• Shaffer, Alan (1995). Integration of Hypermedia Capability into NPSNET IV.8, a Large-Scale Real-Time Distributed Simulation System. Masters Thesis, Naval Postgraduate School, September 1995.

P-3C "Orion" aircraft from VP-31 at NAS Moffett Field, CA, flying formation over the Golden Gate Bridge.