Picture of George Dinolt

gwdinolt «at» nps·edu

George Dinolt

Professor Dinolt is based in the Computer Science Department at the Naval Postgraduate School. His research interests are primarily in the "high assurance" portions of Computer Security. Professor Dinolt works in Formal Methods and the connections between them and Security Policies, Secure Systems Architectures and Secure Systems Design. He also works in Computer Network (Cyber) Operations.


Last modified 26 Jul 2010