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.
Currently (Spring Quarter, 2009) I am teaching:
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.
My PhD student, David Bibighaus graduated fall of 2006. His thesis
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.