NPS logo NPS title

Alan B. Shaffer
Senior Lecturer
Mail Code: IS
Department of Information Science
Graduate School of Operational and Information Sciences
Monterey, CA 93943
Phone: 831-656-3319
Email: abshaffe (at)
PhD - Naval Postgraduate School, 2008
MS - Naval Postgraduate School, 1995
BS - United States Naval Academy, 1986
  • 2016-Present: IS/CAG Senior Lecturer
  • 2014-2016: Cyber Instructor
  • 2013-2014: CS Department Associate Chair for Academic Affairs
  • 2012-2013: CS/Software Engineering Curricular Program Officer
  • 2008-2014: Permanent Military Professor (PMP)
  • 2004-2008: CS PhD Candidate
  • 1993-1995: MS Student
  • Navy Commander with 25+ years of active duty leadership and management experience in the Maritime Patrol & Reconnaissance, and Aviation Warfare Communities.
  • Cyber Systems and Operations
  • Computer Network Operations
  • Intro to Communication Networks
  • Introduction to Programming
  • Intermediate Programming and Data Structures
  • Programming Paradigms
  • Computer Architecture
  • Information Assurance
  • Secure Management of Systems
  • Secure Policies, Models and Formal Methods
  • Information Systems Security Engineering
  • Secure System Modeling and Verification
  • High Assurance Systems
  • Data Science, "Big Data" Analysis
SELECTED PUBLICATIONS: (View an extended list)
  • Aybar, L., Singh, G., and Shaffer, A. (2018). Developing Simulated Cyber-Attack Scenarios Against Virtualized Adversary Networks. Proceedings of the 13th International Conference on Cyber Warfare and Security (ICCWS-18), March 2018, Washington, DC, USA. ACPI, Ltd.
  • 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.
  • Shaffer, Alan B. (1995). Integration of hypermedia capability into NPSNET IV.8, a large-scale real-time distributed simulation system. Naval Postgraduate School, Department of Computer Science; Masters Thesis.
  • Keywords: secure system modeling and verification, security domain models, program verification, information assurance, data science, data conditioning, big data

The pages on this site are dynamic, and are created by a script. Contact Faculty Vitae Admin to report incomplete or incorrect data.
NPS Home | Privacy Policy | Copyright / Accessibility / Section 508 | Contact Webmaster |
This is an Official U.S. Navy Website