George Dinolt (@ NPS) Home Page


This is the home page of George W. Dinolt at the Naval Postgraduate School in Monterey, CA.

This page is constantly under modification to reflect the new semester and work that I am involved in.

I am an Associate Professor in the Computer Science Department at the Naval Postgraduate School. My research interests are primarily in the "high assurance" portions of Computer Security. I work in Formal Methods and the connections between them and Security Policies, Secure Systems Architectures and Secure Systems Design. I also work in Computer Network (Cyber) Operations.

I support Master's and PhD students in a number of different areas related to Computer Security.

Current course

Currently (Spring Quarter, 2009) I am teaching:

Protocol eXchange Seminars

I participate in Ed Zieglar's Protocol eXchange Seminars. These seminars have taken place at the University of Maryland, Baltimore County, The National Cryptological Museum. We have hosted several of the Seminars at NPS. You can find more inforrmation about these seminars here.

Interesting work I have been involved with

My PhD student, David Bibighaus graduated fall of 2006. His thesis was Applying the doubly labeled transition system to the refinement paradox


Material contained herein is made available for the purpose of peer review and discussion and does not necessarily reflect the views of the Department of the Navy or the Department of Defense.

George W. Dinolt
Last modified: Thu Dec 9 17:37:30 PST 2010